Theorem HahnSeries.orderTop_nsmul_le_orderTop_pow

Modification history