Database
GRAPH THEORY
Undirected graphs
Neighbors, complete graphs and universal vertices
Complete graphs
ccplgr
Next ⟩
ccusgr
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
ccplgr
Description:
Extend class notation with (arbitrary) complete graphs.
Ref
Expression
Assertion
ccplgr
class
ComplGraph