Theorem LieIdeal.comap_map_le

Modification history