Theorem LieHom.idealRange_eq_lieSpan_range

Modification history