Theorem Set.unionᵢLift_unary

Modification history