Theorem SemigroupCat.MulEquiv_coe_eq

Modification history