Theorem SimpleGraph.lt_extremalNumber_iff_of_nonneg

Modification history