OAI/Combinatorics/Sensitivity/Reindex.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

Coordinate equivalences preserve the two literal Boolean complexity measures.

  1. def OAI.Paper320.reindex line 14
  2. theorem OAI.Paper320.flip_reindex line 17
  3. theorem OAI.Paper320.flip_reindex_singleton line 23
  4. theorem OAI.Paper320.reindex_symm line 27
  5. theorem OAI.Paper320.sensitivityAt_reindex line 35
  6. theorem OAI.Paper320.sensitivity_reindex line 48
  7. theorem OAI.Paper320.blockSensitivityAt_le_reindex line 61
  8. theorem OAI.Paper320.blockSensitivityAt_reindex line 80
  9. theorem OAI.Paper320.blockSensitivity_reindex line 88