Theorem HahnModule.smul_coeff

Modification history