mathlib3
7ba713a7 - feat(quiver/basic): push arrows of a quiver along a map (#17618)

Commit

3 years ago

feat(quiver/basic): push arrows of a quiver along a map (#17618) Co-authored-by: Rémi Bottinelli <bottine@users.noreply.github.com>

Author

bottine

Parents