Commit 2024-11-08 00:06 9df8b6aa

View on Github →

feat(RingTheory/TensorProduct): Add Algebra.baseChange_lmul (#18424)

Estimated changes