(
self, points: list[Point], deps: EmptyDependency
)
| 1460 | return self.check_cong([m, a, m, b]) |
| 1461 | |
| 1462 | def add_circle( |
| 1463 | self, points: list[Point], deps: EmptyDependency |
| 1464 | ) -> list[Dependency]: |
| 1465 | o, a, b, c = points |
| 1466 | add = self.add_cong([o, a, o, b], deps=deps) |
| 1467 | add += self.add_cong([o, a, o, c], deps=deps) |
| 1468 | return add |
| 1469 | |
| 1470 | def why_circle( |
| 1471 | self, args: tuple[Segment, Segment, Segment] |