Join Nostr
2025-03-11 04:13:59 UTC
in reply to

TobyBartels on Nostr: But its conclusion was wrong (this is all correct until the ‘solution’, which ...

But its conclusion was wrong (this is all correct until the ‘solution’, which repeats the definition of a (−1)-category instead):