Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-06-15 14:54 8e281044

View on Github →

feat(algebra/algebra/basic): define restrict_scalars.linear_equiv (#7807) Also updating some doc-strings.

Estimated changes