mathlib
e3fd9d3f - Homomorphisms of graphs
Commit
View On GitHub
Commit
5 years ago
Homomorphisms of graphs Defines graph homomorphisms, equivalences, and isomorphisms.
References
graphs
Author
kmill kmill
Parents
410293f5
FAQ Terms Privacy Refunds Impressum
Loading