Mathlib v3 is deprecated. Go to Mathlib v4

Def set.finite

Modification history

2021-09-15 18:42
src/data/set/finite.lean
refactor(data/set/finite): use a custom inductive type (#9164) …
Deleted set.finiteView on Github →
2017-11-24 05:22
data/set/finite.lean
feat(data/set/finite): unify fintype and finite developments …
Added set.finiteView on Github →