Commit 2026-05-14 21:09 d6dab93d
View on Github →chore(LinearAlgebra/TensorProduct): make TensorProduct.mapIncl an abbrev (#39390)
TensorProduct.mapIncl was @[simp] def… and is made an abbrev,
following suggestion by @dagurtomas in the review of #37745.