Theorem SimpleGraph.extremalNumber_congr

Modification history