OAI/Dynamics/ConditionalShuffle/ColorRanks.lean

GitHub source file

21 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Revealed.Color.layoutColor line 11
  2. lemma OAI.Revealed.Color.layoutColor_A line 14
  3. lemma OAI.Revealed.Color.layoutColor_C line 19
  4. def OAI.Revealed.Color.leftEnds line 25
  5. def OAI.Revealed.Color.rightEnds line 27
  6. lemma OAI.Revealed.Color.leftEnds_injective line 30
  7. lemma OAI.Revealed.Color.rightEnds_injective line 36
  8. def OAI.Revealed.Color.leftRank line 43
  9. def OAI.Revealed.Color.rightRank line 45
  10. def OAI.Revealed.Color.internalA line 48
  11. def OAI.Revealed.Color.internalC line 50
  12. lemma OAI.Revealed.Color.internalA_depends line 53
  13. lemma OAI.Revealed.Color.internalC_depends line 57
  14. def OAI.Revealed.Color.sortedTransport line 62
  15. lemma OAI.Revealed.Color.transport_A line 65
  16. lemma OAI.Revealed.Color.transport_C line 71
  17. theorem OAI.Revealed.Color.physical_color_factor line 78
  18. lemma OAI.Revealed.Color.color_range_A line 85
  19. lemma OAI.Revealed.Color.color_range_C line 96
  20. lemma OAI.Revealed.Color.transport_depends_only_color line 107
  21. lemma OAI.Revealed.Color.transport_occupancy line 124