Theorem Submodule.ker_liftQ

Modification history