Theorem AffineEquiv.injective_pointReflection_left_of_injective_two_nsmul

Modification history

2024-11-23 07:36
Mathlib/LinearAlgebra/AffineSpace/AffineEquiv.lean
chore: cleanup of many set_option deprecated.linter false (#19181)
Added AffineEquiv.injective_pointReflection_left_of_injective_two_nsmulView on Github →