Theorem Submodule.quot_hom_ext

Modification history