OAI/Combinatorics/ContingencyTables/Dense/DenseRationalTrial.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

The rational ideal dense rejection law

  1. def OAI.ContingencyTables.GridBoundary.rationalBinWeight line 18
  2. theorem OAI.ContingencyTables.GridBoundary.rationalBinWeight_cast line 22
  3. def OAI.ContingencyTables.GridBoundary.rationalTrialMass line 28
  4. theorem OAI.ContingencyTables.GridBoundary.rationalTrialMass_cast line 34
  5. def OAI.ContingencyTables.GridBoundary.rationalTrialLaw line 40
  6. def OAI.ContingencyTables.GridBoundary.rationalTableMass line 53
  7. theorem OAI.ContingencyTables.GridBoundary.rationalTableMass_total line 58
  8. theorem OAI.ContingencyTables.GridBoundary.rationalTableMass_uniform line 78