Theorem HahnModule.single_smul_coeff_add

Modification history