OAI/GameTheory/SnakyTwentyOne/Certificate/Operations.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.SnakyPrototype.Certificate21.currentCode line 8
  2. def OAI.SnakyPrototype.Certificate21.currentOrient line 9
  3. theorem OAI.SnakyPrototype.Certificate21.currentOrient_eq line 19
  4. def OAI.SnakyPrototype.Certificate21.placed21 line 22
  5. theorem OAI.SnakyPrototype.Certificate21.placed21_eq_image line 24
  6. theorem OAI.SnakyPrototype.Certificate21.placed21_template line 31
  7. def OAI.SnakyPrototype.Certificate21.commonEnvelope line 37
  8. theorem OAI.SnakyPrototype.Certificate21.mem_commonEnvelope line 39
  9. theorem OAI.SnakyPrototype.Certificate21.identity_target line 42
  10. theorem OAI.SnakyPrototype.Certificate21.required_eq_combination line 50
  11. theorem OAI.SnakyPrototype.Certificate21.envelope_eq_combination line 74
  12. structure OAI.SnakyPrototype.Certificate21.CheckedCard line 91