Theorem Submodule.dualCopairing_eq

Modification history