Theorem HahnModule.add_smul

Modification history