p, a matrix, projection from Hom(M,N) to the stable Hom
Description
The stable Hom is Hom(M,N)/T where T is the submodule of homomorphisms that factor through a free cover of N (or, equivalently, through any projective)
See also
isStablyTrivial -- returns true if the map goes to 0 under stableHom