List

📁 Source: Mathlib/Logic/Small/List.lean

Statistics

Metric	Count
Definitions	0
Theorems smallList, smallVector	2
Total	2

(root)

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
smallList 📖	mathematical	—	Small	—	small_of_surjective small_sigma small_zero smallVector Equiv.surjective
smallVector 📖	mathematical	—	Small List.Vector	—	small_of_injective small_Pi small_zero Equiv.injective

---

← Back to Index