Theorem LieModuleHom.coe_nsmul

Modification history