OAI.Heisenberg.finiteDynamics_deep_uniform: intermediate lemma from OpenAI, Spontaneous magnetization in the quantum Heisenberg ferromagnet

Initializing...

OAI.Heisenberg.finiteDynamics_deep_uniform: intermediate lemma from OpenAI, Spontaneous magnetization in the quantum Heisenberg ferromagnet · Prove2Me