Theorem HahnModule.single_zero_smul_eq_smul

Modification history