Theorem mdifferentiableAt_iff_liftPropAt

Modification history