Theorem Submodule.le_traceDual

Modification history