解析のいい本少ないね。
杉浦がややましか。

陰関数の定理と多重積分の変数変換の証明を厳密かつ分かりやすく書いて
ある本は非常に少ない。

それと角のある多様体に関するストークスの定理を述べたものは
あるのか?