Theorem LaurentSeries.intValuation_le_iff_coeff_lt_eq_zero

Modification history