Assertion list for term "the wythoff symbol".

Results from Ascent++: 1
polyhedron HasAthe wythoff symbol 0.25