λδ digital library (LDDL)
Constant
Informal description: ""
λ[xt:natt].<{(1t).((xt).suct)}.nis>.{(λ[t:{(1t).((xt).suct)}.is].{(t).(xt)}.t1).(((xt).nofnt).ax3).({(1).(((xt).nofnt).suc)}.is).({(1t).((xt).suct)}.is)}.th3 Validation parameters: sort hierarchy = "Z2", kernel options = ""
Last update: Sat, 12 Dec 2020 10:46:54 +0100