OAI/Combinatorics/PolynomialVacuum/Pairing/RowTranspose.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PolynomialVacuumAlgebra.dualAuxEquiv line 8
2. def OAI.PolynomialVacuumAlgebra.dualInternalEquiv line 13
3. def OAI.PolynomialVacuumAlgebra.rowDualityEquiv line 16
4. theorem OAI.PolynomialVacuumAlgebra.last_add_one line 20
5. theorem OAI.PolynomialVacuumAlgebra.twisted_row_weight_dual line 24
6. theorem OAI.PolynomialVacuumAlgebra.physicalTransfer_transpose_rotation line 36