OAI/Computability/DegreeRigidity/Syntax/AtomicFormula.lean

GitHub source file

18 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.TuringRigidity.AtomicForcing.Triple line 9
  2. def OAI.TuringRigidity.AtomicForcing.Match line 12
  3. def OAI.TuringRigidity.AtomicForcing.Side line 17
  4. def OAI.TuringRigidity.AtomicForcing.Step line 21
  5. def OAI.TuringRigidity.AtomicForcing.Vertex line 24
  6. def OAI.TuringRigidity.AtomicForcing.AtomicFormula.triple line 31
  7. theorem OAI.TuringRigidity.AtomicForcing.AtomicFormula.eval_triple line 34
  8. def OAI.TuringRigidity.AtomicForcing.AtomicFormula.matchF line 38
  9. theorem OAI.TuringRigidity.AtomicForcing.AtomicFormula.eval_matchF line 44
  10. def OAI.TuringRigidity.AtomicForcing.AtomicFormula.side line 50
  11. theorem OAI.TuringRigidity.AtomicForcing.AtomicFormula.eval_side line 55
  12. def OAI.TuringRigidity.AtomicForcing.AtomicFormula.step line 61
  13. theorem OAI.TuringRigidity.AtomicForcing.AtomicFormula.eval_step line 64
  14. def OAI.TuringRigidity.AtomicForcing.AtomicFormula.vertex line 69
  15. theorem OAI.TuringRigidity.AtomicForcing.AtomicFormula.eval_vertex line 74
  16. theorem OAI.TuringRigidity.AtomicForcing.match_mono line 79
  17. theorem OAI.TuringRigidity.AtomicForcing.step_mono line 84
  18. theorem OAI.TuringRigidity.AtomicForcing.vertex_mono line 91