OAI/Probability/InvariantIsing/Magnetic/MagneticCountTemplateLower.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Spectral and field rational populations with different denominators have a common physical block template.

  1. theorem OAI.InvariantIsing.finite_count_template_pressure_lower line 13