Theorem LieSubmodule.coeSubmodule_comap

Modification history