Skip to content

Update Mathlib/Order/SuccPred/Archimedean.lean #130209

Update Mathlib/Order/SuccPred/Archimedean.lean

Update Mathlib/Order/SuccPred/Archimedean.lean #130209

Lint style

succeeded Oct 8, 2024 in 1m 9s