Def SimpleGraph.Walk.IsEulerian.fintypeEdgeSet

Modification history

2023-03-02 08:11

Mathlib/Combinatorics/SimpleGraph/Trails.lean

feat: Port Combinatorics.SimpleGraph.Trails (#2574)

Added SimpleGraph.Walk.IsEulerian.fintypeEdgeSet View on Github →