Theorem Set.nonempty_finiteExhaustion_iff

Modification history

2026-05-25 15:44
Mathlib/Data/Set/FiniteExhaustion.lean
fix: decls with a non-consecutive duplicate namespace (#39794) …
Added Set.nonempty_finiteExhaustion_iffView on Github →