Theorem Submodule.ker_inclusion

Modification history