Theorem HahnModule.smul_coeff_left

Modification history