OAI/Probability/InvariantIsing/Magnetic/RestrictedTreePressureIncrement.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.restricted_tree_pressure_capped_increment line 14