OAI/Combinatorics/PolynomialVacuum/Pairing/
155 declarations, 0 contain sorry, 0 declared as axioms; 20 files
Files
- BlockCharge.lean 3 declarations
- DecoratedStack.lean 5 declarations
- FiniteGluing.lean 3 declarations
- LayerProduct.lean 8 declarations
- MarkedRows.lean 5 declarations
- OpenPartition.lean 7 declarations
- PairingMain.lean 1 declarations
- PairingTarget.lean 32 declarations
- RowConfigurations.lean 9 declarations
- RowCyclic.lean 7 declarations
- RowDuality.lean 16 declarations
- RowKernel.lean 8 declarations
- RowPeriodic.lean 12 declarations
- RowTranspose.lean 6 declarations
- SeamWeight.lean 3 declarations
- StackExpansion.lean 6 declarations
- StackReindex.lean 6 declarations
- TransferMatrix.lean 9 declarations
- TransferPowers.lean 6 declarations
- UpperLimit.lean 3 declarations