succ=\n.\f.\x.f((nf)x)

Deutsch:English:Comics/Images/Videos: