Theorem mfderiv_coe_sphere_injective

Modification history