Theorem Submodule.dualCopairing_apply

Modification history