Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-07-21 16:25 7efdd990

View on Github →

feat(algebra/invertible): lemmas (#3493) Coauthored by: Johan Commelin johan@commelin.net

Estimated changes

added def invertible.map