Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Thierry Arnoux
Algebra
The Archimedean property for generic ordered algebraic structures
carchi
Next ⟩
df-inftm
Metamath Proof Explorer
Unicode
Structured
Syntax definition
carchi
Description:
Class notation for the Archimedean property.
Ref
Expression
Assertion
carchi
class Archi