OAI/Combinatorics/Sensitivity/RecursiveSets.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

Finite sets of changing raw coordinates inside an individual child.

  1. def OAI.Paper320.childLift line 12
  2. theorem OAI.Paper320.mem_childLift line 15
  3. theorem OAI.Paper320.childLift_card line 28
  4. def OAI.Paper320.childChanges line 31
  5. def OAI.Paper320.childJointChanges line 38
  6. theorem OAI.Paper320.childChanges_card line 46
  7. theorem OAI.Paper320.childJointChanges_card line 52
  8. theorem OAI.Paper320.card_biUnion_le_mul line 59
  9. theorem OAI.Paper320.rowClause_joint_flip_change line 66