Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for BTernaryTau
Graph theory
Acyclic graphs
cacycgr
Next ⟩
df-acycgr
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cacycgr
Description:
Extend class notation with acyclic graphs.
Ref
Expression
Assertion
cacycgr
class AcyclicGraph