Theorem Set.nonempty_compl_of_nontrivial

Modification history

2023-07-21 04:29
Mathlib/Data/Set/Basic.lean
feat: basic measure / topology lemmas (#5986)
Added Set.nonempty_compl_of_nontrivialView on Github →