RoundSquare.lean: Zero-Axiom Negative Resolution of the Clay Yang–Mills Problemzenodo.org2 points·DRLogvinovich··0 commentsOpen articleSaveView on HN