Theorem Finset.exists_mem_cons

Modification history

2026-10-17 12:44
Mathlib/Data/Finset/Insert.lean
feat: `Finset.exists_mem_cons` (#44919) …
Added Finset.exists_mem_consView on Github →