Commit 2023-03-02 14:39 b1442137
View on Github →feat: computable recursor for Quiver.Path (#2583)
… in order to facilitate the port of CategoryTheory.PathCategory.
feat: computable recursor for Quiver.Path (#2583)
… in order to facilitate the port of CategoryTheory.PathCategory.