OAI/Combinatorics/ContingencyTables/Sampling/UnitGraphEnergy.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Energy of the unit-weight local-proposal chain

  1. lemma OAI.ContingencyTables.MetropolisChain.unit_chain_energy line 15