Theorem SimpleGraph.extremalNumber_le_iff_of_nonneg

Modification history