*) Notation for prefunctors (#17576)

Commit

3 years ago

feat(combinatorics/quiver/*) Notation for prefunctors (#17576) Co-authored-by: Scott Morrison <scott@tqft.net>

Author

bottine

Parents