path): Composition is injective (#16852)

Commit

3 years ago

feat(combinatorics/quiver/path): Composition is injective (#16852) `quiver.path.comp` is injective on the left and on the right.

Author

YaelDillies

Parents