Theorem LieIdeal.map_comap_le

Modification history