Commit 2022-12-12 10:13 2e80838d

View on Github →

feat: port algebra.group.with_one.units (#955) Tracking mathlib commit: 4e87c8477c6c38b753f050bc9664b94ee859896c

Estimated changes