← Feed @jcreed@mastodon.social Post #1441651 2026-04-01 22:12 UTC @rntz it's discussed in section 6.5 of the HoTT book Replies (0) No replies.