Def SimpleGraph.Walk.IsEulerian

Modification history

2023-03-02 08:11

Mathlib/Combinatorics/SimpleGraph/Trails.lean

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

Added SimpleGraph.Walk.IsEulerian View on Github →