Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2023-07-23 09:51 88fcdc3d

View on Github →

feat(ring_theory/tensor_product): add missing scalar tower instances (#19143)

Estimated changes