← Feed @5ht@mathstodon.xyz Post #2334002 2026-05-05 17:18 UTC @jonmsterling@mathstodon.xyz Europe had non cubical HoTT before you leave CMU, mister! Replies (0) No replies.