Theorem Submodule.dualPairing_apply

Modification history