Mathlib v3 is deprecated. Go to Mathlib v4

Def invertible.map

Modification history

2022-05-06 12:51
src/algebra/invertible.lean
feat(linear_algebra/matrix/nonsingular_inverse): inverse of a diagonal matrix is diagonal (#13827) …
Modified invertible.mapView on Github →
2021-01-14 08:39
src/algebra/invertible.lean
chore(*): split some long lines (#5742)
Modified invertible.mapView on Github →
2020-07-21 16:25
src/algebra/invertible.lean
feat(algebra/invertible): lemmas (#3493) …
Added invertible.mapView on Github →