mathlib3

9d5088a2 - feat(linear_algebra/pi): add `linear_equiv.pi` (#6415)