Theorem LieIdeal.incl_apply

Modification history