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