Theorem HahnSeries.support_neg

Modification history