λδ digital library (LDDL)
Constant
Informal description: ""
λ[zeta:cut].<{(zeta).({((zeta).rtc).((zeta).rtc)}.ts)}.is>.{(λ[t:{(zeta).({((zeta).rtc).((zeta).rtc)}.ts)}.less].{(t).(zeta)}.t106).(λ[t:{(zeta).({((zeta).rtc).((zeta).rtc)}.ts)}.more].{(t).(zeta)}.t83).({(zeta).({((zeta).rtc).((zeta).rtc)}.ts)}.satz123a).({(zeta).({((zeta).rtc).((zeta).rtc)}.ts)}.less).({(zeta).({((zeta).rtc).((zeta).rtc)}.ts)}.more).({(zeta).({((zeta).rtc).((zeta).rtc)}.ts)}.is)}.or3e1 Validation parameters: sort hierarchy = "Z2", kernel options = ""
Last update: Sat, 12 Dec 2020 10:46:54 +0100