Theorem MulEquiv.toEquiv_eq_coe

Modification history