OAI/Probability/InvariantIsing/Magnetic/RestrictedCubeIncrement.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The physical constrained increment includes the original cube masses of the base and cavity slices.

  1. theorem OAI.InvariantIsing.restricted_tree_cube_increment line 13