Commit 2022-12-12 09:20 20a6a92a
View on Github →feat: port algebra.order.group.densely_ordered (#956) Tracking mathlib commit: 4e87c8477c6c38b753f050bc9664b94ee859896c
feat: port algebra.order.group.densely_ordered (#956) Tracking mathlib commit: 4e87c8477c6c38b753f050bc9664b94ee859896c