Theorem Set.mem_unionᵢ

Modification history