Theorem SimpleGraph.extremalNumber_congr_right

Modification history