Theorem Submonoid.supᵢ_eq_closure

Modification history