Theorem Quiver.Path.eq_of_length_zero

Modification history

2022-12-01 17:40
Mathlib/Combinatorics/Quiver/Path.lean
feat: port Combinatorics.Quiver.Path (#811) …
Added Quiver.Path.eq_of_length_zeroView on Github →