λδ digital library (LDDL)
Constant
Informal description: ""
{λ[h:dif].λ[n:(h).negd].λ[k:dif].λ[o:(k).negd].λ[e:{(k).(h)}.eq]}.<{({(o).(k)}.rpofnd).({(n).(h)}.rpofnd)}.is>.{({(e).(o).(k).(n).(h)}.t10).({(o).(k)}.rpofnd).({(n).(h)}.rpofnd)}.isrpind Validation parameters: sort hierarchy = "Z2", kernel options = ""
Last update: Sat, 12 Dec 2020 10:46:54 +0100