Theorem Set.sized_unionᵢ₂

Modification history