OAI/Combinatorics/PolynomialVacuum/Pairing/RowPeriodic.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.PolynomialVacuumAlgebra.streamEndpoint_pos line 9
  2. theorem OAI.PolynomialVacuumAlgebra.fin_zero_prev line 12
  3. theorem OAI.PolynomialVacuumAlgebra.fin_succ_prev line 16
  4. theorem OAI.PolynomialVacuumAlgebra.incomingStream_periodic line 22
  5. theorem OAI.PolynomialVacuumAlgebra.physicalTransfer_periodic line 30
  6. def OAI.PolynomialVacuumAlgebra.rowCoordinate line 48
  7. theorem OAI.PolynomialVacuumAlgebra.rowCoordinate_prev line 51
  8. theorem OAI.PolynomialVacuumAlgebra.rowCoordinate_last line 57
  9. def OAI.PolynomialVacuumAlgebra.cylinderState line 63
  10. theorem OAI.PolynomialVacuumAlgebra.cylinderState_coordinate line 66
  11. theorem OAI.PolynomialVacuumAlgebra.cylinderState_next line 69
  12. theorem OAI.PolynomialVacuumAlgebra.physicalTransfer_currents line 75