Theorem Set.interᵢ_union_of_antitone

Modification history