Theorem SimpleGraph.IsSRGWith.card_neighborFinset_union_of_adj

Modification history