Assertion list for term "rotational symmetry".

Results from Ascent++: 1
square HasArotational symmetry 0.25