Sections
📁 Source: Mathlib/Data/List/Sections.lean
Statistics
| Metric | Count |
|---|---|
| Definitions | 0 |
| 3 | |
| Total | 3 |
List
Theorems
| Name | Kind | Assumes | Proves | Validates | Depends On |
|---|---|---|---|---|---|
mem_sections 📖 | — | — | — | — | — |
mem_sections_length 📖 | — | — | — | — | Forall₂.length_eqmem_sections |
rel_sections 📖 | mathematical | — | Relator.LiftFun | — | rel_flatMaprel_map |
---