λδ digital library (LDDL)
Constant
Informal description: ""
λ[nt:natt].<{(((nt).nofnt).ntofn).(nt).(natt)}.is>.{({((nt).t4).(((nt).nofnt).nati).(((nt).nofnt).cofn).((nt).natti).((nt).cofnt)}.iscent).((nt).isntc1).(((nt).nofnt).ntofn).({((nt).natti).((nt).cofnt)}.ntofc).(nt).(natt)}.tris Validation parameters: sort hierarchy = "Z2", kernel options = ""
Last update: Sat, 12 Dec 2020 10:46:54 +0100