Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-06-04 16:08 0b098585

View on Github →

feat(linear_algebra/basic): add a unique instance for linear_equiv (#7816)

Estimated changes

added theorem linear_equiv.coe_zero
added theorem linear_equiv.zero_symm