Pi

📁 Source: Mathlib/Logic/Encodable/Pi.lean

Statistics

Metric	Count
Definitions encodable, finArrow, finPi, fintypeArrow, fintypeArrowOfEncodable, fintypePi	6
Theorems countable	1
Total	7

Encodable

Definitions

Name	Category	Theorems
finArrow 📖	CompOp	—
finPi 📖	CompOp	—
fintypeArrow 📖	CompOp	—
fintypeArrowOfEncodable 📖	CompOp	—
fintypePi 📖	CompOp	—

Encodable.List.Vector

Definitions

Name	Category	Theorems
encodable 📖	CompOp	1 math math: Nat.Primrec'.encode

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
countable 📖	mathematical	—	Countable List.Vector	—	Subtype.countable List.countable

---

← Back to Index