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

Build

succeeded Oct 29, 2024 in 18m 27s