Theorem SimpleGraph.emptyGraph_eq_bot

Modification history