Theorem SemigroupCat.mulEquiv_coe_eq

Modification history