OAI/RepresentationTheory/UniversalSquare/Balance/
180 declarations, 0 contain sorry, 0 declared as axioms; 26 files
Files
- BalanceAssembly.lean 7 declarations
- BalanceBlocks.lean 13 declarations
- BalanceColumns.lean 21 declarations
- BalanceDominance.lean 5 declarations
- BalanceFour.lean 3 declarations
- BalanceGluing.lean 5 declarations
- BalanceInduction.lean 2 declarations
- BalanceLeaves.lean 6 declarations
- BalanceLift.lean 5 declarations
- BalancePacking.lean 7 declarations
- BalanceProduct.lean 14 declarations
- BalanceProjection.lean 11 declarations
- BalanceSeparation.lean 3 declarations
- BalancedColumns.lean 17 declarations
- BalancedPairs.lean 7 declarations
- ConstantOutputs.lean 6 declarations
- EmptyPacking.lean 4 declarations
- ExceptionalPacking.lean 1 declarations
- PackingPlans.lean 9 declarations
- PackingSupport.lean 6 declarations
- WordPacking.lean 8 declarations
- WordPackingCone.lean 2 declarations
- WordPackingGeometry.lean 5 declarations
- WordPackingLeaves.lean 2 declarations
- WordPackingPairs.lean 3 declarations
- WordPackingPieri.lean 8 declarations