Theorem LieIdeal.incl_coe

Modification history