Mathlib v3 is deprecated. Go to Mathlib v4

Theorem quiver.star_equiv_costar_apply

Modification history

2023-07-28 10:11
src/combinatorics/quiver/covering.lean
feat(combinatorics/quiver/covering): Definition of coverings and unique lifting of paths (#17828)
Added quiver.star_equiv_costar_applyView on Github →