Theorem SimpleGraph.posSemidef_lapMatrix
Modification history
2025-04-09 10:22
Mathlib/Combinatorics/SimpleGraph/LapMatrix.lean
chore: use mixin ordered algebraic typeclasses (part 2) (#20595)
Modified SimpleGraph.posSemidef_lapMatrixView on Github →2024-07-07 19:14
Mathlib/Combinatorics/SimpleGraph/LapMatrix.lean
chore (BigOperators.Finsupp): avoid importing `Order.BigOperators.Ring.Finset` (#14336) …
Modified SimpleGraph.posSemidef_lapMatrixView on Github →2024-05-16 09:19
Mathlib/Combinatorics/SimpleGraph/LapMatrix.lean
chore(LapMatrix): `α` -> `R` (#12868)
Modified SimpleGraph.posSemidef_lapMatrixView on Github →