OAI/Combinatorics/Chromatic/Witness/ProfilePartition.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.ElementaryPositivity.profilePartition line 15
  2. lemma OAI.ElementaryPositivity.esymmPart_profile line 21
  3. instance OAI.ElementaryPositivity.ExactMasks.requiredFintype line 44
  4. instance OAI.ElementaryPositivity.ExactMasks.exactFintype line 46
  5. def OAI.ElementaryPositivity.TriangularDynamics.requiredHistoryMatching line 57
  6. def OAI.ElementaryPositivity.TriangularDynamics.exactHistoryMatching line 63
  7. def OAI.ElementaryPositivity.TriangularDynamics.admissibleExactEquiv line 71
  8. def OAI.ElementaryPositivity.TriangularDynamics.emptyDecoratedEquiv line 77
  9. def OAI.ElementaryPositivity.TriangularDynamics.admissibleHistoryEquiv line 90
  10. lemma OAI.ElementaryPositivity.TriangularDynamics.admissibleHistoryEquiv_energy line 93
  11. def OAI.ElementaryPositivity.TriangularDynamics.leafPartition line 97
  12. def OAI.ElementaryPositivity.TriangularDynamics.admissiblePartition line 100