Theorem Submodule.ker_mkQ

Modification history