OAI/Combinatorics/Sensitivity/RecursiveCandidates.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

Unique failed children and the unique possible sink of the gate-clause list.

  1. theorem OAI.Paper320.targetWitness_false line 12
  2. theorem OAI.Paper320.targetWitness_unique line 22
  3. theorem OAI.Paper320.gateWitness_spec line 30
  4. theorem OAI.Paper320.gateWitness_unique line 42
  5. def OAI.Paper320.gateSinks line 51
  6. theorem OAI.Paper320.gateSinks_card line 57
  7. theorem OAI.Paper320.nonsink_gateWitness_mem line 66