Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-07-05 11:54 8ba94ab7

View on Github →

chore(algebra/invertible): units coerced to their monoid are invertible (#8195)

Estimated changes

added theorem inv_of_units
added def units.invertible