logical proof
regular graph
strongly connected component
Ramsey's theorem
graph toughness
graph antihole
hole
end
undirected graph
Hamiltonian path
rose
forest
bouquet of circles
intermediate value theorem
rectagraph
wedge of circles
graphette
Desargues configuration
flow network
Euclidean geometry
line graph
setoid
cubic graph
linear function
cograph
complex projective line
snark
clique number
adinkra
Pythagorean trigonometric identity
identity
complete bipartite graph
matching
rhombidodecahedron
cage
valuation function
absolute geometry
Kosaraju's algorithm
cherry graph
tournament
unconditional
Euclid's fourth axiom
probabilistically checkable proof
local minimum
abstract universal
dual graph
collider
primitive polynomial
weighted graph
quotient set