Metamath Proof Explorer


Syntax definition csegle

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

Ref Expression
Assertion csegle class Seg