OAI/Probability/SignedSweeps/OccupiedGeometry.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.SignedSweeps.routeSize line 10
  2. def OAI.SignedSweeps.routeEnumeration line 12
  3. lemma OAI.SignedSweeps.routeEnumeration_route line 17
  4. lemma OAI.SignedSweeps.routeEnumeration_symm_fst line 23
  5. def OAI.SignedSweeps.freeRoute line 34
  6. def OAI.SignedSweeps.freeLineInjection line 37
  7. lemma OAI.SignedSweeps.freeLine_square line 48
  8. lemma OAI.SignedSweeps.freeLineSize_le line 55
  9. def OAI.SignedSweeps.occupiedBoard line 67
  10. lemma OAI.SignedSweeps.occupiedBoard_card line 71
  11. def OAI.SignedSweeps.occupiedBoardEquiv line 76
  12. lemma OAI.SignedSweeps.occupiedBoardEquiv_apply line 82
  13. lemma OAI.SignedSweeps.signed_word_type_angle_numbered line 93