Theorem LieSubalgebra.exists_nested_lieIdeal_coe_eq_iff

Modification history