OAI/Combinatorics/ContingencyTables/Machines/FinitePlainLift.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Exact moment and distance identities for the transversal embedding

  1. lemma OAI.ContingencyTables.FinitePlainLift.sum_mul line 16
  2. lemma OAI.ContingencyTables.FinitePlainLift.distance_lift line 29