Theorem Polynomial.eval₂_congr

Modification history