Theorem TensorProduct.ext₃

Modification history

2024-10-20 17:40

Mathlib/LinearAlgebra/TensorProduct/Basic.lean

chore(LinearAlgebra/TensorProduct): fix duplication (#17912) …

Deleted TensorProduct.ext₃ View on Github →

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 →