Theorem Finset.nontrivial_def

Modification history

2025-09-22 12:37
Mathlib/Data/Finset/Insert.lean
feat: grind annotations for `Finset.sdiff` (#29427) …
Added Finset.nontrivial_defView on Github →