Description: Geometrical "less than" property for angles. Definition 11.27 of Schwabhauser p. 102. (Contributed by Thierry Arnoux, 7-Oct-2020)
Ref | Expression | ||
---|---|---|---|
Hypotheses | isleag.p | |
|
isleag.g | |
||
isleag.a | |
||
isleag.b | |
||
isleag.c | |
||
isleag.d | |
||
isleag.e | |
||
isleag.f | |
||
Assertion | isleag | |