Theorem Module.reflection_inv

Modification history

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