Commit 2026-09-30 00:55 a79b0d21
View on Github →chore(LinearAlgebra/AffineSpace/AffineMap): rename linearMap_vsub to linear_apply_vsub (#44088)
This lemma is about AffineMap.linear, so the current name is likely a mistake made when porting Mathlib from Lean 3. For consistency, ContinuousAffineMap.contLinear_map_vsub is also renamed to contLinear_apply_vsub.