Theorem Submodule.dualRestrict_def

Modification history