Metamath Blueprint : Triangle Congruences
Definition
df-leag
Status:
Formalized
Reference:
Definition 11.27 of [Schwabhauser] p. 102.
Definition of the geometrical "angle less than" relation