WikiLeanRecent changes · Proposals · Flags · Stats · About

Diff — Graph theory

Revision #1763 → #2284 · back to history

addedLoop (graph)47374bfd6ec2
addedChromatic number80ea14e6d3c1
addedPlanar grapha3590bc2585e
addedBipartite graph4657c8b7ef5f
addedPath (graph theory)e90e8322e4d3
addedSpanning tree75ddd0caadd8