Theorem Algebra.baseChange_lmul

Modification history

2025-01-15 15:07
Mathlib/RingTheory/TensorProduct/Basic.lean
chore: generalize more materials about linear independence over semirings (#20497) …
Modified Algebra.baseChange_lmulView on Github →
2024-11-08 00:06
Mathlib/RingTheory/TensorProduct/Basic.lean
feat(RingTheory/TensorProduct): Add `Algebra.baseChange_lmul` (#18424)
Added Algebra.baseChange_lmulView on Github →