Theorem LieIdeal.coe_to_lieSubalgebra_to_submodule

Modification history