Theorem LieHom.idealRange_eq_map

Modification history