Theorem ContinuousMulEquiv.toEquiv_eq_coe

Modification history