Theorem Submodule.linearMap_qext

Modification history