Theorem Submonoid.exists_mulEquiv_eq_mgraph

Modification history