← Feed @cbaberle@mathstodon.xyz Post #839261 2026-03-23 21:34 UTC Hyperdoctrine? I hardly know ‘er doctrine! Replies (0) No replies.