OAI/Combinatorics/ContingencyTables/Transport/FiniteChoiceFibres.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Finite fibre sums with their literal subtype enumeration

  1. lemma OAI.ContingencyTables.FiniteExposureVariance.double_fibreWeight_mul line 11
  2. theorem OAI.ContingencyTables.FiniteExposureVariance.double_fibre_sum line 17