Theorem Equiv.pointReflection_fixed_iff_of_injective_two_nsmul

Modification history

2024-11-23 07:36
Mathlib/Algebra/AddTorsor.lean
chore: cleanup of many set_option deprecated.linter false (#19181)
Added Equiv.pointReflection_fixed_iff_of_injective_two_nsmulView on Github →