OAI/Probability/InvariantIsing/Cavity/CavityTreePressureIncrement.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Averaging the literal physical pressure increment over the common finite cascade law, with no integrability assumptions left to the caller.

  1. theorem OAI.InvariantIsing.cavity_tree_pressure_capped_increment line 14