Using continuousondiff with subs

Using continuous_on_diff with subst (Isabelle) - Stack Overflow
ORIGINAL POST:I'm trying to show the following:have "continuous_on {x. 0 < x} (λx. 12 *
Using continuousondiff with subst (Isabelle)Stack Overflow
admin5小时前
00