OAI/Combinatorics/ContingencyTables/Counting/CountingInputSymbols.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

The public counting input contains no tape blanks

  1. lemma OAI.ContingencyTables.CountingInputSymbols.nat_nonzero line 12
  2. lemma OAI.ContingencyTables.CountingInputSymbols.int_nonzero line 15
  3. lemma OAI.ContingencyTables.CountingInputSymbols.rat_nonzero line 21
  4. lemma OAI.ContingencyTables.CountingInputSymbols.matrix_nonzero line 27
  5. lemma OAI.ContingencyTables.CountingInputSymbols.counting_nonzero line 33