Theorem SimpleGraph.dotProduct_mulVec_adjMatrix

Modification history

2024-05-27 18:18
Mathlib/Combinatorics/SimpleGraph/AdjMatrix.lean
chore(AdjMatrix): generalize a lemma (#12867) …
Modified SimpleGraph.dotProduct_mulVec_adjMatrixView on Github →
2024-04-25 07:11
Mathlib/Combinatorics/SimpleGraph/AdjMatrix.lean
chore(Combinatorics/SimpleGraph): Generalize few lemmas in `AdjMatrix` to `NonAssocSemiring α` (#12413) …
Modified SimpleGraph.dotProduct_mulVec_adjMatrixView on Github →
2024-02-28 12:44
Mathlib/Combinatorics/SimpleGraph/AdjMatrix.lean
feat: Laplacian matrix of a simple graph (#8594) …
Added SimpleGraph.dotProduct_mulVec_adjMatrixView on Github →