Fintype

📁 Source: MathlibTest/UnusedInstancesInType/Fintype.lean

Statistics

Metric	Count
Definitions Fintype	1
Theorems	0
Total	1

(root)

Definitions

Name	Category	Theorems
Fintype 📖	CompData	10 math math: Fintype.subsingleton, nonempty_fintype, Fintype.instFastSubsingleton, finite_iff_nonempty_fintype, Module.Basis.nonempty_fintype_index_of_rank_lt_aleph0, Set.Finite.nonempty_fintype, Set.finite_def, isEmpty_fintype, Set.univ_finite_iff_nonempty_fintype, Cardinal.lt_aleph0_iff_fintype

---

← Back to Index