OAI/Combinatorics/BalancedRyser/Local/LocalTupleReindex.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Balanced.Local.EqualityPattern.reindex line 14
  2. def OAI.Balanced.Local.reindexAssignment line 29
  3. def OAI.Balanced.Local.reindexBits line 32
  4. def OAI.Balanced.Local.reindexPositions line 34
  5. theorem OAI.Balanced.Local.eligible_reindex line 38
  6. theorem OAI.Balanced.Local.prescribedTuple_reindex line 52
  7. theorem OAI.Balanced.Local.prescribedPoint_reindex line 58
  8. theorem OAI.Balanced.Local.aligned_reindex line 64
  9. theorem OAI.Balanced.Local.admissible_reindex line 76
  10. theorem OAI.Balanced.Local.prescribedDesignated_reindex line 102
  11. theorem OAI.Balanced.Local.prescribedPartners_reindex line 110
  12. theorem OAI.Balanced.Local.targetLines_reindex line 118
  13. theorem OAI.Balanced.Local.allowedPiece_reindex line 125
  14. theorem OAI.Balanced.Local.badCover_reindex line 134
  15. theorem OAI.Balanced.Local.admissibleBadCover_reindex line 141