\lemmname 4.5.2 . [01SA]

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.5.2.

Pour tout $\mathscr{A}$ -module de type fini $\mathscr{F}$ , on a $\operatorname{long}(\mathscr{F}_{x})=\operatorname{long}(\mathscr{F}_{\mathbf{x}})$ .