dan on Nostr: now the question (pending further verification) is what to do with the result. in ...

now the question (pending further verification) is what to do with the result. in mathematics when you publish, you take responsibility for what is written. the only thing i can truly take responsibility for is the Lean *proposition* because i intentionally expressed it using Mathlib only.