Theorem Module.reflection_mul_reflection_zpow_apply_self

Modification history

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