Range

📁 Source: Mathlib/Data/List/Range.lean

Statistics

Metric	Count
Definitions ranges	1
Theorems chain'_range_succ, chain_range_succ, getElem_range'_1, isChain_cons_range_succ, isChain_range, isChain_range_succ, ranges_disjoint, ranges_length	8
Total	9

List

Definitions

Name	Category	Theorems
ranges 📖	CompOp	4 math math: ranges_flatten, ranges_disjoint, mem_mem_ranges_iff_lt_sum, ranges_length

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
chain'_range_succ 📖	—	—	—	—	isChain_range_succ
chain_range_succ 📖	—	—	—	—	isChain_cons_range_succ
getElem_range'_1 📖	—	—	—	—	—
isChain_cons_range_succ 📖	—	—	—	—	isChain_range_succ
isChain_range 📖	—	—	—	—	instIsEmptyFalse
isChain_range_succ 📖	—	—	—	—	isChain_range
ranges_disjoint 📖	mathematical	—	ranges	—	disjoint_map
ranges_length 📖	mathematical	—	ranges	—	—

---

← Back to Index