Theorem LieIdeal.bot_of_map_eq_bot

Modification history