Theorem MulEquiv.coe_refl

Modification history