We deene a residue current of a holomorphic mapping , or more generally a holomorphic section to a holomorphic vector bundle, by means of Cauchy-Fantappie-Leray type formulas , and prove that a holomorphic function that annihilates this current belongs to the corresponding ideal locally. We also prove that the residue current coincides with the Colee… (More)