Theorem RootPairing.InvariantForm.apply_root_root_zero_iff
Modification history
2025-07-08 11:58
Mathlib/LinearAlgebra/RootSystem/RootPositive.lean
chore: whitespace fixes in lemmas (#26892) …
Modified RootPairing.InvariantForm.apply_root_root_zero_iffView on Github →