mathlib3

bc3ad25a - feat(linear_algebra/tensor_algebra): Add missing lemmas about subtraction (#5428)