Mathlib v3 is deprecated. Go to Mathlib v4

Def quiver.symmetrify_star

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.symmetrify_star View on Github →