mathlib

88685b03 - feat(linear_algebra/tensor_product): Add is_scalar_tower instances (#6741)

feat(linear_algebra/tensor_product): Add is_scalar_tower instances (#6741) If either the left- or right-hand type of a tensor product forms a scalar tower, then the tensor product forms the same tower.