[[!redirects Uniqueness of Identity Proofs]] [[!redirects UIP]] [[!redirects UIP]] [[!redirects Axiom UIP]] < [[nlab:axiom UIP]] category: redirected to nlab