OAI/Combinatorics/PolynomialVacuum/Pairing/TransferMatrix.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PolynomialVacuumAlgebra.honeycombKernel line 11
2. def OAI.PolynomialVacuumAlgebra.physicalTransfer line 17
3. theorem OAI.PolynomialVacuumAlgebra.rowKernel_honeycomb line 21
4. theorem OAI.PolynomialVacuumAlgebra.transferMatrix_physical line 36
5. def OAI.PolynomialVacuumAlgebra.physicalPolynomialVector line 44
6. theorem OAI.PolynomialVacuumAlgebra.homogeneousVector_finiteTensor line 47
7. theorem OAI.PolynomialVacuumAlgebra.finiteTensor_restrict line 50
8. theorem OAI.PolynomialVacuumAlgebra.honeycombDenominator_ne_zero line 57
9. theorem OAI.PolynomialVacuumAlgebra.physicalPolynomialVector_eigen line 71