path): Turn a quiver path into a list (#15240)

Commit

3 years ago

feat(combinatorics/quiver/path): Turn a quiver path into a list (#15240) Define `quiver.path.to_list : path a b → list V`.

Author

YaelDillies

Parents