OAI/Combinatorics/PolynomialVacuum/Pairing/MarkedRows.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PolynomialVacuumAlgebra.physicalCutDiagonal line 11
2. theorem OAI.PolynomialVacuumAlgebra.decorated_rows_split line 14
3. def OAI.PolynomialVacuumAlgebra.finitePhysicalContraction line 37
4. theorem OAI.PolynomialVacuumAlgebra.finitePhysicalContraction_rows line 41
5. theorem OAI.PolynomialVacuumAlgebra.finitePhysicalContraction_tendsto line 50