Assertion list
obtuse triangle (subgroup of triangle ) → HasA
Results from Ascent++: 1
obtuse triangle → HasA → one angle 0.68