Theorem LieIdeal.coe_toSubalgebra

Modification history