Theorem Set.interᵢ₂_union

Modification history