Theorem Submodule.toLinearPMap_apply_aux

Modification history