Theorem HahnSeries.order_smul_not_lt

Modification history