λδ digital library (LDDL)
Constant
Informal description: ""
{λ[h:dif].λ[p:(h).posd].λ[k:dif].λ[q:(k).posd].λ[i:{({(q).(k)}.rpofpd).({(p).(h)}.rpofpd)}.is]}.<{(k).(h)}.eq>.{({(q).(k)}.eqpdrp2).({(i).(q).(k).(p).(h)}.t9).({(p).(h)}.eqpdrp1).(k).(({(q).(k)}.rpofpd).pdofrp).(({(p).(h)}.rpofpd).pdofrp).(h)}.tr3eq Validation parameters: sort hierarchy = "Z2", kernel options = ""
Last update: Sat, 12 Dec 2020 10:46:54 +0100