Theorem Finite.nonempty_decidableEq

Modification history

2024-12-19 19:41
Mathlib/Data/Finite/Defs.lean
chore(Fintype): move `nonempty_fintype` (#20053) …
Added Finite.nonempty_decidableEqView on Github →