\lemmname 4.3.6 . [01RV]
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.3.6.
Supposons que soit purement de dimension . Si est une forme lisse de type telle que , alors sur .