![](https://secure.gravatar.com/avatar/d558f7d2c62b984d42b1e276bbdfc2c7.jpg?s=120&d=mm&r=g)
28 Dec
2021
28 Dec
'21
3:12 p.m.
On 28 Dec 2021, at 23:03, Hans Hagen
wrote: On 12/28/2021 10:53 PM, Hans Γ berg wrote:
\starttext Course-of-values induction: $$π β’ π·(0); π, π β€ π β π·(π) β’β½πβΎβπβ π·(s(π)) β© π β’ π·(π)$$ \stoptext
stay away from $$ but use
\startformula π β’ π·(0); π, π β€ π β π·(π) β’β½πβΎβπβ π·(s(π)) β© π β’ π·(π) \stopformula
Thanks, I am aware if that, but wrote it in a hurry. :-)