Theorem Set.interᵢ_unionᵢ_of_monotone

Modification history