Theorem Submodule.dualQuotEquivDualAnnihilator_apply

Modification history