Theorem LieModuleHom.coe_restrictLie

Modification history