Theorem Set.supᵢ_infᵢ_of_antitone

Modification history