extension of modules

1. REDIRECT Ext functor#Ext and extensions

{{Redirect category shell|

{{R printworthy}}

{{R to section}}

}}