Theorem LaurentSeries.exists_ratFunc_val_lt

Modification history