Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-03-22 00:37 d71e06cc

View on Github →

feat(topology/algebra/monoid): construct a unit from limits of units and their inverses (#12760)

Estimated changes