 Equivalence of module extensions

A commuting isomorphism between two module extensions that is the identity on both end modules. Classifying middle modules up to arbitrary isomorphism is a different and generally coarser problem.