λδ digital library (LDDL)
Constant
Informal description: ""
λ[xt:natt].<{(((xt).nofnt).ntofn).(xt)}.is>.{((xt).t27).((xt).isntrt1).(((xt).nofnt).ntofn).({((xt).natrti).((xt).rtofnt)}.ntofrt).(xt).(natt)}.tris Validation parameters: sort hierarchy = "Z2", kernel options = ""
Last update: Sat, 12 Dec 2020 10:46:54 +0100