Theorem SimpleGraph.IsSRGWith.param_eq

Modification history