Theorem Submonoid.sup_eq_range

Modification history