Theorem Submodule.mkQ_apply

Modification history