Ascent++
Search
angle
aspect of
rectangle
,
3
assertions
HasProperty
3
equal
0.84
congruent
0.51
pi/4
0.31