Theorem RootPairing.reflectionPerm_sq

Modification history

2025-05-28 22:04

Mathlib/LinearAlgebra/RootSystem/Defs.lean

chore: rename `reflection_perm` to `reflectionPerm` (#25275) …

Added RootPairing.reflectionPerm_sq View on Github →