Theorem AffineEquiv.pointReflection_fixed_iff_of_injective_bit0

Modification history

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 →