Theorem LieSubmodule.toEndomorphism_comp_subtype_mem

Modification history