Theorem Submonoid.exists_eq_mgraph

Modification history