Theorem Submodule.mapQ_apply

Modification history