OAI/Probability/CriticalPercolation/Modular/ActionMassTransport.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ActionOrbitTransport.Representatives.weightedRow line 17
2. lemma OAI.ActionOrbitTransport.Representatives.weightedRow_finite line 20
3. lemma OAI.ActionOrbitTransport.Representatives.fiber_sum_root line 30
4. lemma OAI.ActionOrbitTransport.Representatives.fiber_sum line 52
5. lemma OAI.ActionOrbitTransport.Representatives.tsum_weightedRow line 67
6. lemma OAI.ActionOrbitTransport.Representatives.massTransport line 75