Theorem Finset.nonempty_def

Modification history

2025-09-16 09:16
Mathlib/Data/Finset/Empty.lean
feat: grind annotations for Finset.range (#29426)
Added Finset.nonempty_defView on Github →