Assertion list for term "integer lengths".

Results from Ascent++: 1
side (aspect of square) HasAinteger lengths 0.48