Theorem Subsemigroup.supᵢ_eq_closure

Modification history