← Feed @cdrichards@mathstodon.xyz Post #2213275 2026-04-26 00:03 UTC @alexr@tilde.zone @astory@tilde.zone @mrkwlsn@mastodon.social there is only one topic on Mastodon and it’s intensional vs. extensional equality Replies (0) No replies.