Theorem SimpleGraph.IsSRGWith.matrix_eq

Modification history

2023-08-20 20:55
Mathlib/Combinatorics/SimpleGraph/StronglyRegular.lean
feat: matrix equality of strongly regular graphs (#6507)
Added SimpleGraph.IsSRGWith.matrix_eqView on Github →