`OAI/Combinatorics/ThinTrees/Normalization/`

128 declarations, 0 contain sorry, 0 declared as axioms; 5 files

Files

Algorithm.lean 24 declarations
Descent.lean 20 declarations
Packing.lean 8 declarations
Parameters.lean 5 declarations
Realization.lean 71 declarations