OAI/Probability/InvariantIsing/Fields/FieldHeightLocal.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Actual joint derivative data near every strict field-height vector.

  1. theorem OAI.InvariantIsing.fieldHeight_local_family line 12