dan on Nostr: the proof itself is fully verified with Lean 4 with no extra axioms so that further ...

the proof itself is fully verified with Lean 4 with no extra axioms so that further bumps my confidence. there’s still a chance something‘s wrong with my statement but it seems safe enough to assume it survives. as a part of this, my agent formalized a bunch of results from underlying literature