Alto_Legato 03 Mar 2023 in Public THEOREM 23.7. Normal cone of the non smooth level plot of a function. theorem sec23