Theorem HahnModule.coeff_smul_left

Modification history