Description: The property for two triangles to be congruent to each other. (Contributed by Thierry Arnoux, 3-Apr-2019)
Ref | Expression | ||
---|---|---|---|
Hypotheses | trgcgrg.p | |
|
trgcgrg.m | |
||
trgcgrg.r | |
||
trgcgrg.g | |
||
trgcgrg.a | |
||
trgcgrg.b | |
||
trgcgrg.c | |
||
trgcgrg.d | |
||
trgcgrg.e | |
||
trgcgrg.f | |
||
Assertion | trgcgrg | |