Theorem Module.reflection_mul_reflection_zpow

Modification history

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