Theorem Polynomial.exists_forall_norm_le

Modification history