Database
GRAPH THEORY
Eulerian paths and the Konigsberg Bridge problem
Eulerian paths
ceupth
Next ⟩
df-eupth
Metamath Proof Explorer
Ascii
Structured
Syntax definition
ceupth
Description:
Extend class notation with Eulerian paths.
Ref
Expression
Assertion
ceupth
class
EulerPaths