Theorem LieSubmodule.comap_incl_self

Modification history