Theorem LieModuleHom.coeSubmodule_range

Modification history