Def WideSubquiver.toType

Modification history

2022-12-02 23:34

Mathlib/Combinatorics/Quiver/Subquiver.lean

feat: port Combinatorics.Quiver.Subquiver (#828) …

Added WideSubquiver.toType View on Github →