Theorem LieIdeal.map_of_image

Modification history