Fintype

📁 Source: Mathlib/Data/SetLike/Fintype.lean

Statistics

Metric	Count
Definitions instFintype	1
Theorems instFinite	1
Total	2

SetLike

Definitions

Name	Category	Theorems
instFintype 📖	CompOp	—

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
instFinite 📖	mathematical	—	Finite	—	Finite.of_injective Set.instFinite coe_injective

---

← Back to Index