Theorem Submodule.dualRestrict_apply

Modification history