← Feed @jac@types.pl Post #2154412 2026-05-02 03:18 UTC If univalence holds then the set: { n | Fin n = Fin n = Fin n } has 2 elements Replies (0) No replies.