Theorem HahnSeries.of_symm_smul_of_eq_mul

Modification history