Theorem AffineEquiv.pointReflection_apply

Modification history

2024-11-30 00:03
Mathlib/LinearAlgebra/AffineSpace/AffineEquiv.lean
chore: change associativity of `+ᵥ` from `infixl` to `infixr` (#19321) …
Modified AffineEquiv.pointReflection_applyView on Github →
2023-03-23 16:06
Mathlib/LinearAlgebra/AffineSpace/AffineEquiv.lean
feat: port LinearAlgebra.AffineSpace.AffineEquiv (#2692) …
Added AffineEquiv.pointReflection_applyView on Github →