Theorem norm_lineDeriv_le_of_lipschitz

Modification history