Theorem LieSubalgebra.map_le_iff_le_comap

Modification history