Commit 2022-12-02 23:34 eb3149fc

View on Github →

feat: port Combinatorics.Quiver.Subquiver (#828) Mathlib SHA : 70d50ecfd4900dd6d328da39ab7ebd516abe4025

Estimated changes

Modified Mathlib.lean

Created Mathlib/Combinatorics/Quiver/Subquiver.lean

added def Quiver.Labelling

added structure Quiver.Total

added def Quiver.wideSubquiverEquivSetTotal

added def WideSubquiver.toType

added def WideSubquiver