Skip to content
Ubuntu build

(C ≃ᶜ C') ≃ (C ≡ C') for univalent categories #2304

Sign in to view logs

(C ≃ᶜ C') ≃ (C ≡ C') for univalent categories

(C ≃ᶜ C') ≃ (C ≡ C') for univalent categories #2304

The logs for this run have expired and are no longer available.