Theorem Polynomial.exists_min_root

Modification history