Theorem AffineEquiv.symm_linear

Modification history

2026-01-01 15:17
Mathlib/LinearAlgebra/AffineSpace/AffineEquiv.lean
chore: remove June 2025 deprecated declarations (#33429) …
Deleted AffineEquiv.symm_linearView on Github →
2023-03-23 16:06
Mathlib/LinearAlgebra/AffineSpace/AffineEquiv.lean
feat: port LinearAlgebra.AffineSpace.AffineEquiv (#2692) …
Added AffineEquiv.symm_linearView on Github →