`OAI/Combinatorics/HoneycombBridges/`

225 declarations, 0 contain sorry, 0 declared as axioms; 6 files

Files

Basic.lean 72 declarations
Concatenation.lean 40 declarations
ExactLength.lean 15 declarations
Factorization.lean 12 declarations
Geometry.lean 33 declarations
LengthTransform.lean 53 declarations