Theorem Submonoid.sup_eq_closure

Modification history