OAI/Combinatorics/PolynomialVacuum/Algebra/Unitary.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PolynomialVacuumAlgebra.spectral_multiply line 7
2. theorem OAI.PolynomialVacuumAlgebra.exchange_numerator_unitarity line 14
3. theorem OAI.PolynomialVacuumAlgebra.exchange_numerator_regular line 30
4. def OAI.PolynomialVacuumAlgebra.exchangeMatrix line 38
5. theorem OAI.PolynomialVacuumAlgebra.exchange_unitarity line 41
6. theorem OAI.PolynomialVacuumAlgebra.exchange_regular line 50