Theorem HahnSeries.isPWO_iUnion_support_powers

Modification history