Theorem Submodule.mkQ_surjective

Modification history