Assertion list for term "opposite angles".

Results from Ascent++: 1
rhombus HasAopposite angles 0.25