Theorem MagmaCat.MulEquiv_coe_eq

Modification history