Theorem AffineEquiv.pointReflection_fixed_iff_of_injective_bit0

Modification history

2024-11-23 07:36
Mathlib/LinearAlgebra/AffineSpace/AffineEquiv.lean
chore: cleanup of many set_option deprecated.linter false (#19181)
Deleted AffineEquiv.pointReflection_fixed_iff_of_injective_bit0View on Github →
2024-07-15 11:16
Mathlib/LinearAlgebra/AffineSpace/AffineEquiv.lean
chore: remove bit0/bit1 and associated lemmas (#14745) …
Modified AffineEquiv.pointReflection_fixed_iff_of_injective_bit0View on Github →
2023-03-23 16:06
Mathlib/LinearAlgebra/AffineSpace/AffineEquiv.lean
feat: port LinearAlgebra.AffineSpace.AffineEquiv (#2692) …
Added AffineEquiv.pointReflection_fixed_iff_of_injective_bit0View on Github →