Theorem RootPairing.Base.cartanMatrix_apply_same

Modification history

2025-02-26 10:06
Mathlib/LinearAlgebra/RootSystem/CartanMatrix.lean
feat: more structural lemmas about root pairings (#22213) …
Added RootPairing.Base.cartanMatrix_apply_sameView on Github →