Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-09-24 00:26 1a341fd8

View on Github →

feat(algebra/*): Tensor product is the fibered coproduct in CommRing (#9338)

Estimated changes