OAI/Combinatorics/ContingencyTables/Counting/CountingPublicTerminalBounds.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

Public polynomial bounds for the terminal grid and phase controls

  1. lemma OAI.ContingencyTables.CountingPublicTerminalBounds.coefficient_public line 17
  2. lemma OAI.ContingencyTables.CountingPublicTerminalBounds.terminal_public line 25
  3. lemma OAI.ContingencyTables.CountingPublicTerminalBounds.label_public line 34
  4. def OAI.ContingencyTables.CountingPublicTerminalBounds.basicPolynomial line 43
  5. def OAI.ContingencyTables.CountingPublicTerminalBounds.restartPolynomial line 45
  6. lemma OAI.ContingencyTables.CountingPublicTerminalBounds.scalar_public line 47
  7. lemma OAI.ContingencyTables.CountingPublicTerminalBounds.restart_public line 69