Theorem AffineEquiv.injective_pointReflection_left_of_injective_bit0

Modification history

2024-07-24 14:53
Mathlib/LinearAlgebra/AffineSpace/AffineEquiv.lean
fix: shorten lines with 101 characters (#15104) …
Modified AffineEquiv.injective_pointReflection_left_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.injective_pointReflection_left_of_injective_bit0View on Github →
2023-03-23 16:06
Mathlib/LinearAlgebra/AffineSpace/AffineEquiv.lean
feat: port LinearAlgebra.AffineSpace.AffineEquiv (#2692) …
Added AffineEquiv.injective_pointReflection_left_of_injective_bit0View on Github →