isIsomorphism f -- whether the map f of modules is an isomorphism.
Class of returned value: Boolean -- the class of Boolean valuesWays to use isIsomorphism :