Metamath Blueprint : Triangle Congruences
Theorem
tgtrltad
Status:
ReadyForStmt
Reference:
Part (2) of Theorem 11.44 of [Schwabhauser] p. 109.
In triangles, shorter sides are exactly those facing smaller angles