Def AffineEquiv.Simps.symmApply

Modification history

2023-04-17 15:15
Mathlib/LinearAlgebra/AffineSpace/AffineEquiv.lean
feat: port Analysis.NormedSpace.AddTorsor (#3477)
Deleted AffineEquiv.Simps.symmApplyView on Github →
2023-03-23 16:06
Mathlib/LinearAlgebra/AffineSpace/AffineEquiv.lean
feat: port LinearAlgebra.AffineSpace.AffineEquiv (#2692) …
Added AffineEquiv.Simps.symmApplyView on Github →