Metamath Blueprint : Triangle Congruences


Theorem tgass

ReadyForStmt
Theorem 11.52 of [Schwabhauser] p. 109.

Fourth congruence theorem

Fourth congruence theorem: ASS (Angle-Side-Side): If two pairs of angles of two triangles are equal in measurement, and a pair of corresponding non-included sides are equal in length, then the triangles are congruent.