OAI/Combinatorics/Sensitivity/RecursiveFlips.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

A raw bit belongs to one child and changes at most one condition of a clause.

  1. theorem OAI.Paper320.recursiveChild_flip_same line 13
  2. theorem OAI.Paper320.recursiveChild_flip_other line 18
  3. theorem OAI.Paper320.rowClause_eq_of_conditions line 24
  4. theorem OAI.Paper320.rowClause_flip_eq line 42
  5. theorem OAI.Paper320.rowClause_flip_change line 65