Def Quiver.symmetrifyCostar

Modification history

2023-08-12 18:26

Mathlib/Combinatorics/Quiver/Covering.lean

feat: port Combinatorics.Quiver.Covering (#6383)

Added Quiver.symmetrifyCostar View on Github →