The thing I'd been working on (modulo covid lockdown delay) since February has finally given up the ghost and revealed its erroneous logic.
I'm as relieved as I am disappointed. My larger disappointment is that my methods for cross-checking proofs didn't reveal this error for so long.
@kimreece Ah, I know that feeling. More luck with the next thing.
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!