Theorem Set.disjoint_unionᵢ_left

Modification history