Description: Value of the less-than relationship. Definition 5.4 of Schwabhauser p. 41. (Contributed by Thierry Arnoux, 21-Jun-2019)
Ref | Expression | ||
---|---|---|---|
Hypotheses | legval.p | |
|
legval.d | |
||
legval.i | |
||
legval.l | |
||
legval.g | |
||
legov.a | |
||
legov.b | |
||
legov.c | |
||
legov.d | |
||
Assertion | legov | |