Theorem LieIdeal.comap_incl_self

Modification history