Theorem SimpleGraph.IsSRGWith.card_commonNeighbors_eq_of_not_adj_compl

Modification history