Christian Lawson-Perfect on Nostr: thanks. I just hedged my bets in case there was an easily-missed condition in the ...
thanks. I just hedged my bets in case there was an easily-missed condition in the conjecture that meant this counterexample was already ruled out, by definition.