Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Thierry Arnoux
Algebra
The Archimedean property for generic ordered algebraic structures
cinftm

Next ⟩ carchi

Metamath Proof Explorer

Unicode
Structured

Syntax definition cinftm

Description: Class notation for the infinitesimal relation.

		Ref	Expression
	Assertion	cinftm	class <<<