Theorem Polynomial.exists_max_root

Modification history