Theorem Set.unionᵢ₂_smul

Modification history