Theorem LieModuleHom.comp_ker_incl

Modification history