Commit 2022-07-16 11:29 624716b7

View on Github →

feat(ring_theory/tensor_product): A-algebra structure on A' ⊗[R] B. (#15241)

Estimated changes