Theorem Submodule.liftQ_mkQ

Modification history