Theorem mfderiv_subtype_coe_Icc_one

Modification history