Theorem LaurentSeries.valuation_le_iff_coeff_lt_eq_zero

Modification history