Theorem TensorProduct.ext₃

Modification history

2024-09-14 08:37
Mathlib/LinearAlgebra/TensorProduct/Basic.lean
feat(Algebra/Category/AlgebraCat/Monoidal): remove heavy defeqs (#16776) …
Added TensorProduct.ext₃View on Github →