Theorem Set.unionᵢLift_mk

Modification history