Theorem Submodule.ker_subtypeL

Modification history