Ascent++ | reflect off the surface of the parabola

Assertion list for term "reflect off the surface of the parabola".

Results from Ascent++: 1

proof → CapableOf → reflect off the surface of the parabola

0.25