isIsomorphism
isIsomorphism f
-- whether the map f of modules is an isomorphism.
Go to
main index
.
Go to
concepts index
.