Theorem Set.interᵢ₂_subset_of_subset

Modification history