Skip to content

relate `multiplicativeClosure` and `paths`

4024c81
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

feat(CategoryTheory): add MorphismProperty.paths #38264

relate `multiplicativeClosure` and `paths`
4024c81
Select commit
Loading
Failed to load commit list.