Theorem norm_lineDeriv_le_of_lipschitzOn

Modification history