rm edge_succ #1
Description
follow the code style of Simplegraph in mathlib
see wip branch
less axiom
use more Set rather than List
{{ message }}
follow the code style of Simplegraph in mathlib
see wip branch
less axiom
use more Set rather than List