Theorem HahnModule.smul_coeff_right

Modification history