Theorem LieModuleHom.ker_id

Modification history