Theorem Set.diff_nonempty

Modification history

2024-08-27 19:30
Mathlib/Data/Set/Basic.lean
chore(Data/Set): make names consistent (#16155) …
Added Set.diff_nonemptyView on Github →