OAI/Combinatorics/ContingencyTables/Transport/WeightedCellFibres.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Exact weighted summation over one physical cell's fibres

  1. theorem OAI.ContingencyTables.BalancedCellFibres.weighted_fibre_sum line 13