[Merged by Bors] - feat(CategoryTheory): transport a NormalMono structure via an isomorphism of arrows #34496
+34
−2
This job was skipped
Loading