feat(CategoryTheory): add MorphismProperty.paths
#38264
+92
−3
Open
Loading