next | previous | forward | backward | up | top | index | toc | home

isIsomorphism -- whether a map is an isomorphism

Description

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

Ways to use isIsomorphism :