Description: Three points are colinear iff there is a line through all three of them. Theorem 6.23 of Schwabhauser p. 46. (Contributed by Thierry Arnoux, 28-May-2019)
Ref | Expression | ||
---|---|---|---|
Hypotheses | tglineintmo.p | |
|
tglineintmo.i | |
||
tglineintmo.l | |
||
tglineintmo.g | |
||
colline.1 | |
||
colline.2 | |
||
colline.3 | |
||
colline.4 | |
||
Assertion | colline | |