Assertion list
groove (primary) → UsedFor
Results from Ascent++: 1
groove → UsedFor → re-entrant angles 0.25