Theorem LieIdeal.coe_map_of_surjective

Modification history