Def Module.End.baseChangeHom

Modification history

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