Theorem LieIdeal.map_le

Modification history