Theorem Module.preReflection_preReflection

Modification history

2023-12-12 11:45
Mathlib/LinearAlgebra/Reflection.lean
feat: definition of reflections and root system uniqueness lemma (#8981)
Added Module.preReflection_preReflectionView on Github →