Assertion list for term "functions of an angle".

Results from Ascent++: 1
trigonometric function (subgroup of function) IsAfunctions of an angle 0.25