Commit 2025-05-29 14:38 738fc1f2

View on Github →

feat(Combinatorics/SimpleGraph/LapMatrix): added lemma det_lapMatrix_eq_zero (#25160)

Estimated changes

Modified Mathlib/Combinatorics/SimpleGraph/LapMatrix.lean

added theorem SimpleGraph.det_lapMatrix_eq_zero