Theorem RatFunc.valuation_eq_LaurentSeries_valuation

Modification history