Theorem LieSubalgebra.to_submodule_injective

Modification history