Assertion list for term "minimum point".

Results from Ascent++: 1
vertex (aspect of parabola) IsAminimum point 0.55