Theorem Set.inter_unionᵢ₂

Modification history