Vector

📁 Source: Mathlib/Data/Finite/Vector.lean

Statistics

Metric	Count
Definitions	0
Theorems finite, instFiniteSym	2
Total	2

List.Vector

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
finite 📖	mathematical	—	Finite List.Vector	—	Finite.of_fintype

(root)

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
instFiniteSym 📖	mathematical	—	Finite Sym	—	Finite.of_fintype

---

← Back to Index