Theorem Set.nonempty_bunionᵢ

Modification history