WithTopBot

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

Statistics

Metric	Count
Definitions instFintypeWithBot, instFintypeWithTop	2
Theorems instFiniteWithBot, instFiniteWithTop	2
Total	4

(root)

Definitions

Name	Category	Theorems
instFintypeWithBot 📖	CompOp	—
instFintypeWithTop 📖	CompOp	—

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
instFiniteWithBot 📖	mathematical	—	Finite WithBot	—	Finite.of_fintype
instFiniteWithTop 📖	mathematical	—	Finite WithTop	—	Finite.of_fintype

---

← Back to Index