OAI/Combinatorics/ContingencyTables/Transport/RationalMapProducts.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

Independent finite coordinate maps and uniform product laws

  1. theorem OAI.ContingencyTables.FirstSuccess.mapLaw_id line 16
  2. theorem OAI.ContingencyTables.FirstSuccess.mapLaw_comp line 21
  3. theorem OAI.ContingencyTables.FirstSuccess.mapLaw_product line 34
  4. theorem OAI.ContingencyTables.FirstSuccess.mapLaw_equiv_output line 50
  5. theorem OAI.ContingencyTables.FirstSuccess.pi_mapLaw line 62
  6. theorem OAI.ContingencyTables.FirstSuccess.pi_uniformLaw line 76