Theorem Module.reflection_mul_reflection_pow_apply

Modification history

2024-12-06 05:31
Mathlib/LinearAlgebra/Reflection.lean
feat: power of product of two reflections (#13270) …
Added Module.reflection_mul_reflection_pow_applyView on Github →