← Feed @DavidKButler@mathstodon.xyz Post #1421422 2024-07-30 08:22 UTC @andrejbauer @soaproot It was a typo. I meant contradiction. Replies (0) No replies.