Theorem LinearMap.baseChange_pow

Modification history

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