Theorem Set.unionᵢ_interᵢ_of_antitone

Modification history