松村可換環論 定理8.3 Henselの補題

Matsumura commutative ring Hensel's Lemma

下のPDFのp60くらいに詳しい証明を見つけた。
このくらいの行間も埋められず、検索してるの良くないですね…

https://yurkevi.ch/data/APS.pdf

追記1
松村のlimは、degF次以下のA[x]の元からなるA加群がm-adic completeであることから、その加群でのlimと思えばいい。(係数を考えるより好き)

メモ：追記
Commutative Algebra (Andrea Ferretti)  7.6節