Theorem SimpleGraph.extremalNumber_of_fintypeCard_eq

Modification history