\lemmname 4.6.4 . [01SR]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

\lemmname 4.6.4.

Si $f$ et $g$ sont deux fonctions non diviseurs de zéro sur $X$ alors $\delta_{\operatorname{div}(fg)}=\delta_{\operatorname{div}(f)}+\delta_{\operatorname{div}(g)}$ .