Theorem SimpleGraph.IsSRGWith.top

Modification history

2023-02-27 13:07

Mathlib/Combinatorics/SimpleGraph/StronglyRegular.lean

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

Added SimpleGraph.IsSRGWith.top View on Github →