(
self, points: list[Point], deps: EmptyDependency
)
| 1440 | return self.why_equal(ab, cd, None) |
| 1441 | |
| 1442 | def add_midp( |
| 1443 | self, points: list[Point], deps: EmptyDependency |
| 1444 | ) -> list[Dependency]: |
| 1445 | m, a, b = points |
| 1446 | add = self.add_coll(points, deps=deps) |
| 1447 | add += self.add_cong([m, a, m, b], deps) |
| 1448 | return add |
| 1449 | |
| 1450 | def why_midp( |
| 1451 | self, args: tuple[Line, list[Point], Segment, Segment] |