Theorem Set.Nonempty.of_sUnion_eq_univ

Modification history