Ascent++
Search
Assertion list
for term "rotational symmetry of order".
Results from
Ascent++
:
1
parallelogram
→
HasA
→
rotational symmetry of order
0.25