Skip to content
Back to pull request #1084

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

Sign in to view logs

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

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

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