List

📁 Source: Mathlib/Data/Set/Finite/List.lean

Statistics

Metric	Count
Definitions	0
Theorems finite_length_eq, finite_length_le, finite_length_lt	3
Total	3

List

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
finite_length_eq 📖	mathematical	—	Set.Finite setOf	—	Vector.finite
finite_length_le 📖	mathematical	—	Set.Finite setOf	—	finite_length_lt
finite_length_lt 📖	mathematical	—	Set.Finite setOf	—	Set.ext Set.iUnion_congr_Prop Finset.coe_range Set.Finite.biUnion Finset.finite_toSet finite_length_eq

---

← Back to Index