OAI/Combinatorics/ParityLifts/GraphIso.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.ParityWL.finite_histogram_equiv line 7
  2. lemma OAI.ParityWL.iso_atomicType line 15
  3. lemma OAI.ParityWL.iso_update line 21
  4. lemma OAI.ParityWL.iso_jointColor line 27
  5. lemma OAI.ParityWL.iso_separateColor line 42
  6. lemma OAI.ParityWL.iso_jointHistogram line 57
  7. lemma OAI.ParityWL.iso_separateHistogram line 63
  8. lemma OAI.ParityWL.iso_sameHistogram line 69
  9. lemma OAI.ParityWL.iso_samePureHistogram line 77
  10. lemma OAI.ParityWL.iso_WLEquivalent line 106
  11. lemma OAI.ParityWL.iso_PureWLEquivalent line 112