Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-02-26 00:42 9d5088a2

View on Github →

feat(linear_algebra/pi): add linear_equiv.pi (#6415)

Estimated changes

added def linear_equiv.pi