Skip to content

Commit 86cb6af

Browse files
robertmaxton42robertmaxton42
committed
Refactor to use WalkingParallelPair^op, eliminates use of WalkingQuiver
1 parent 8ebb38a commit 86cb6af

File tree

1 file changed

+229
-249
lines changed
  • Mathlib/CategoryTheory/Category/Quiv/AsFunctor

1 file changed

+229
-249
lines changed

0 commit comments

Comments
 (0)
⚡