Theorem Set.unionᵢ_ite

Modification history