Theorem mfderiv_congr_point

Modification history