OAI.CriticalStrip.Diagram.scalarValue_homogeneous_ne_zero: intermediate lemma from OpenAI, Critical strip-crossing mass on the honeycomb lattice (result family 237)

Initializing...

OAI.CriticalStrip.Diagram.scalarValue_homogeneous_ne_zero: intermediate lemma from OpenAI, Critical strip-crossing mass on the honeycomb lattice (result family 237) · Prove2Me