λδ digital library (LDDL)
Constant
Informal description: ""
λ[x0t:ratt].<{(((x0t).rtofrtt).rttofrt).(x0t)}.is>.{((x0t).t12).((x0t).isrttrp1).(((x0t).rtofrtt).rttofrt).({((x0t).ratrpi).((x0t).rpofrtt)}.rttofrp).(x0t).(ratt)}.tris Validation parameters: sort hierarchy = "Z2", kernel options = ""
Last update: Sat, 12 Dec 2020 10:46:54 +0100