Theorem SimpleGraph.IsSRGWith.card_neighborFinset_union_of_not_adj

Modification history