OAI/Combinatorics/ContingencyTables/Counting/CountingActualPhase.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Executed phases with the controls computed from the original input

  1. def OAI.ContingencyTables.CountingActualPhase.fixed line 15
  2. lemma OAI.ContingencyTables.CountingActualPhase.phase_bounds line 26
  3. theorem OAI.ContingencyTables.CountingActualPhase.output_rep line 51
  4. theorem OAI.ContingencyTables.CountingActualPhase.output_sameLaw line 95