Theorem ArchimedeanClass.mk_ofNat

Modification history

2025-12-24 17:12

Mathlib/Algebra/Order/Ring/Archimedean.lean

feat: more theorems on `ArchimedeanClass.stdPart` (#33048)

Added ArchimedeanClass.mk_ofNat View on Github →