Theorem Set.prod_unionᵢ₂

Modification history