Skip to content

chore(CategoryTheory): define the equivalences congrLeft and `congr… #11469

chore(CategoryTheory): define the equivalences congrLeft and `congr…

chore(CategoryTheory): define the equivalences congrLeft and `congr… #11469