Metamath Blueprint : Triangle Congruences


Theorem tgaas

StmtFormalized
Theorem 11.50 of [Schwabhauser] p. 108.

Second congruence theorem

Second congruence theorem: AAS (Angle-Angle-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.