Mathlib v3 is deprecated. Go to Mathlib v4

Def set.fintype_of_univ_finite

Modification history

2021-02-22 14:12
src/data/set/finite.lean
feat(topology/subset_properties): locally finite family on a compact space is finite (#6352)
Deleted set.fintype_of_univ_finiteView on Github →
2021-02-11 23:33
src/data/set/finite.lean
feat(data/set/finite): fintype_of_univ_finite (#6164) …
Added set.fintype_of_univ_finiteView on Github →