Assertion list for term "same area".

Results from Ascent++: 4
triangle HasAsame area 0.61
parallelogram HasAsame area 0.55
square HasAsame area 0.45
base HasAsame area 0.28