Theorem LieModuleEquiv.coe_to_lieModuleHom

Modification history