OAI/Analysis/MatrixSigning/Matrices/PivotControllerBody.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.KS.W17.FixedPSD.terminalRestoreProgram line 11
  2. def OAI.KS.W17.FixedPSD.afterDecisionSelect line 13
  3. def OAI.KS.W17.FixedPSD.afterDecision line 15
  4. def OAI.KS.W17.FixedPSD.controllerBody line 17
  5. def OAI.KS.W17.FixedPSD.finishTicks line 19
  6. theorem OAI.KS.W17.FixedPSD.body_descend_spec line 22
  7. theorem OAI.KS.W17.FixedPSD.body_negative_spec line 40
  8. theorem OAI.KS.W17.FixedPSD.body_sparse_spec line 61