Def Algebra.TensorProduct.congr

Modification history

2023-08-07 16:43

Mathlib/RingTheory/TensorProduct.lean

feat(RingTheory/TensorProduct): heterogenize (#6417) …

Modified Algebra.TensorProduct.congr View on Github →

2023-05-17 23:10

Mathlib/RingTheory/TensorProduct.lean

feat: port RingTheory.TensorProduct (#4004)

Added Algebra.TensorProduct.congr View on Github →