Fifth refusal: Family 271 and reported Lean scope

The supplied Family 271 catalogue concerns the quantum Heisenberg ferromagnet and records Bloch-type low-temperature statements. The companion marks those records as unverified and non-premissory Catalogue271. The reported Lean scope names 271-04 only. That is a documentary statement about the supplied scope record, not a claim that a Lean build has been inspected or executed here.

For orientation, rigorous spin-wave free-energy work such as CGS belongs to statistical mechanics. It is not a relational-coordinate construction, and no result from that article is used in a proof in this paper.