Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Scott Fenton
Geometry in the Euclidean space
Segment less than or equal to
csegle
Next ⟩
df-segle
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
csegle
Description:
Declare the constant for the segment less than or equal to relationship.
Ref
Expression
Assertion
csegle
class
Seg
≤