Theorem SimpleGraph.card_connectedComponent_eq_finrank_ker_toLin'_lapMatrix

Modification history

2025-04-29 09:29
Mathlib/Combinatorics/SimpleGraph/LapMatrix.lean
chore(LapMatrix): fix a name (#24443) …
Added SimpleGraph.card_connectedComponent_eq_finrank_ker_toLin'_lapMatrixView on Github →