Skip to content

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

Closed
marcinjangrzybowski wants to merge 3 commits intoagda:masterfrom marcinjangrzybowski:univ-cats-path

Commits

Commits on Dec 4, 2023

Commits on Dec 5, 2023