RoundSquare.lean: Zero-Axiom Negative Resolution of the Clay Yang–Mills Problem

(zenodo.org) by DRLogvinovich | Nov 4, 2026 | 0 comments on HN