OAI/Probability/InvariantIsing/Cavity/ConsecutiveRationalConsistency.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Weak constrained block self-consistency from actual physical minimizers, with no auxiliary model premises.

  1. theorem OAI.InvariantIsing.consecutive_rational_weak_self_consistency line 11