Theorem norm_lineDeriv_le_of_lip'

Modification history