Theorem LinearMap.baseChange_mul

Modification history

2024-02-24 18:05
Mathlib/RingTheory/TensorProduct.lean
feat: Add `Module.End.baseChangeHom` (#10928) …
Added LinearMap.baseChange_mulView on Github →