Commit 2022-12-12 09:20 20a6a92a

View on Github →

feat: port algebra.order.group.densely_ordered (#956) Tracking mathlib commit: 4e87c8477c6c38b753f050bc9664b94ee859896c

Estimated changes