Theorem SimpleGraph.IsSRGWith.card_commonNeighbors_eq_of_adj_compl

Modification history