isIsomorphism
isIsomorphism f
-- whether the map f of modules is an isomorphism.
