Etymology

Today it means: A triangle-free graph with 11 vertices, 20 edges, chromatic number 4, and crossing number 5. It is a member of an infinite sequence of triangle-free graphs, each the Mycielskian of the previous graph in the sequence. Full definition →