Theorem SimpleGraph.lt_extremalNumber_iff

Modification history