Theorem MagmaCat.mulEquiv_coe_eq

Modification history