Theorem HahnModule.coeff_single_smul_vadd

Modification history