Theorem LieIdeal.comap_map_eq

Modification history