Skip to content
Ubuntu build

(C ≃ᶜ C') ≃ (C ≡ C') & univalent category of setoids #2289

Sign in to view logs

(C ≃ᶜ C') ≃ (C ≡ C') & univalent category of setoids

(C ≃ᶜ C') ≃ (C ≡ C') & univalent category of setoids #2289

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