Structure SimpleGraph.IsSRGWith

Modification history

2023-02-27 13:07

Mathlib/Combinatorics/SimpleGraph/StronglyRegular.lean

feat: Port Combinatorics.SimpleGraph.StronglyRegular (#2476)

Added SimpleGraph.IsSRGWith View on Github →