Theorem HahnModule.of_smul

Modification history