Theorem Polynomial.revAt_eq_self_of_lt

Modification history