Theorem LieModuleHom.smul_apply

Modification history