Theorem ApproximatesLinearOn.norm_fderiv_sub_le

Modification history