mathlib

f7b24fa7 - refactor(ring_theory/tensor_product): Speed up slow proofs (#10883)

refactor(ring_theory/tensor_product): Speed up slow proofs (#10883) `alg_hom_of_linear_map_tensor_product` was causing timeouts, due to many uses of `simp`. This refactor speeds up the proofs.