Theorem LieIdeal.comap_coeSubmodule

Modification history