Theorem norm_iteratedFDeriv_smul_le

Modification history