OAI/Probability/InvariantIsing/Magnetic/MagneticSpectralClipping.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Spectral clipping has the same uniform error for every external field.

  1. lemma OAI.InvariantIsing.spectral_clip_mean_field_pressure_close line 11