Theorem Set.unionᵢ₂_mono

Modification history