Theorem Submodule.dualQuotEquivDualAnnihilator_symm_apply_mk

Modification history