Mathlib v3 is deprecated. Go to Mathlib v4

Def linear_equiv.pi

Modification history

2021-06-23 23:28
src/linear_algebra/pi.lean
chore(linear_algebra): deduplicate `linear_equiv.{Pi_congr_right,pi}` (#8056) …
Deleted linear_equiv.piView on Github →
2021-02-26 00:42
src/linear_algebra/pi.lean
feat(linear_algebra/pi): add `linear_equiv.pi` (#6415)
Added linear_equiv.piView on Github →