Syntax Definition clt 4033

Description: 'Less than' predicate (defined over real subset of complex numbers).

Assertion

Ref	Expression
clt	class <

See definition df-lt 4041 for more information.

metamath.org