Description: Angle congruence preserves colinearity. (Contributed by Thierry Arnoux, 9-Aug-2020)
Ref | Expression | ||
---|---|---|---|
Hypotheses | cgracol.p | |
|
cgracol.i | |
||
cgracol.m | |
||
cgracol.g | |
||
cgracol.a | |
||
cgracol.b | |
||
cgracol.c | |
||
cgracol.d | |
||
cgracol.e | |
||
cgracol.f | |
||
cgracol.1 | |
||
cgracol.l | |
||
cgracol.2 | |
||
Assertion | cgracol | |