`OAI/Combinatorics/ThinTrees/Pencil/`

322 declarations, 0 contain sorry, 0 declared as axioms; 10 files

Files

AffinePencil.lean 21 declarations
BlockAssembly.lean 31 declarations
FiniteFamilies.lean 34 declarations
MatrixConstraintRealization.lean 23 declarations
Parameters.lean 54 declarations
PointPrograms.lean 33 declarations
RationalAffineEval.lean 10 declarations
Realization.lean 13 declarations
ScalarConstraintRealization.lean 81 declarations
SearchRealization.lean 22 declarations