mathlib

52e4d024 - Fix `ring_theory/tensor_product.lean` (squeeze a few simps)