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

felixwellen merged 5 commits intoagda:masteragda/cubical:masterfrom

marcinjangrzybowski:category-pathmarcinjangrzybowski/cubical:category-pathCopy head branch name to clipboard