λδ digital library (LDDL)
Constant
Informal description: ""
{λ[ksi:cut].λ[eta:cut].λ[n:{(eta).(ksi)}.nis]}.<{({(eta).(ksi)}.less).({(eta).(ksi)}.more)}.or>.{(λ[t:{(ksi).(eta)}.more].{(t).(ksi).(eta)}.satz121).({(n).(eta).(ksi)}.t18).({(eta).(ksi)}.less).({(ksi).(eta)}.more).({(eta).(ksi)}.more)}.th8 Validation parameters: sort hierarchy = "Z2", kernel options = ""
Last update: Sat, 12 Dec 2020 10:46:54 +0100