Def LinearMap.baseChange

Modification history

2023-08-07 04:16

Mathlib/RingTheory/TensorProduct.lean

feat: heterogenize TensorProduct.congr and friends (#6035) …

Modified LinearMap.baseChange View on Github →

2023-05-17 23:10

Mathlib/RingTheory/TensorProduct.lean

feat: port RingTheory.TensorProduct (#4004)

Added LinearMap.baseChange View on Github →