Commit 2026-03-30 15:05 47035026

View on Github →

chore: rename CoxeterMatrix.Aₙ → CoxeterMatrix.A (#37159) To match the Cartan matrix API. See Zulip.

Estimated changes

Modified Mathlib/GroupTheory/Coxeter/Matrix.lean

deleted def CoxeterMatrix.Aₙ

deleted def CoxeterMatrix.Bₙ

deleted def CoxeterMatrix.Dₙ

deleted def CoxeterMatrix.I₂ₘ