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

1 points | by DRLogvinovich 9 hours ago