| Created: | 23.5.2022 18.05.05 |
| Modified: | 1.8.2022 13.54.05 |
 Project: |
|
| Advanced: |
|
- Constraints
- Advanced
| Constraint | Type | Status |
| numPoints=5 | Invariant | Approved |
 Details:
|
||
| points in sequence on conic | Invariant | Approved |
|
Details:
|
||
| Property | Value |
| isFinalSpecialization: | 0 |