Theorem SimpleGraph.IsSRGWith.card_neighborFinset_union_eq

Modification history