mathlib3

a1fdc999 - feat(linear_algebra/tensor_product): add id_apply and comp_apply for ltensor and rtensor (#15628)