Theorem Submonoid.iSup_eq_closure

Modification history