>>218

そうですね、前提条件を C^1 級で統一するか、全微分可能で統一するか、
または偏微分を交えるかは、公式を適用する際の目的によって、
定式化が異なると思います。

あまりにも前提条件を一般化すると、公式を適用する際に、
その前提条件の確認が煩わしくなりますから、
(1) や (2) がスタンダードな定式化だ、という感じはしますね。