Theorem LieSubmodule.ker_incl

Modification history