Theorem SimpleGraph.IsSRGWith.compl_is_regular

Modification history