OAI/Combinatorics/Sensitivity/RecursiveChildren.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Each row clause uses exactly the stated number of distinct child blocks.

  1. def OAI.Paper320.rowChildren line 12
  2. theorem OAI.Paper320.rowChildren_disjoint line 17
  3. theorem OAI.Paper320.rowChildren_card line 28
  4. theorem OAI.Paper320.regular_rowChildren_card line 36