Theorem Submonoid.sup_eq_closure_mul

Modification history