OAI/Combinatorics/ContingencyTables/Sampling/PhysicalPublicLaw.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Public probabilities and physical terminal events

  1. def OAI.ContingencyTables.PhysicalPublicLaw.outputs line 14
  2. lemma OAI.ContingencyTables.PhysicalPublicLaw.tableMass_eq line 17
  3. lemma OAI.ContingencyTables.PhysicalPublicLaw.haltMass_eq line 38
  4. lemma OAI.ContingencyTables.PhysicalPublicLaw.tail_eq line 53