csegle - Mathbox for Scott Fenton

	Mathbox for Scott Fenton		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > Mathboxes > csegle		Structured version Visualization version Unicode version

Syntax Definition csegle 32213

Description: Declare the constant for the segment less than or equal to relationship.

**Assertion**
Ref	Expression
csegle

See definition df-segle 32214 for more information.

Colors of variables: wff setvar class