λδ digital library (LDDL)
Constant
Informal description: ""
{λ[r:cut].λ[s:cut]}.<{({(2).({(i).({(s).(r)}.rps)}.pl)}.pl).({(i).({({(s).(r)}.sp1).((r).rp1)}.pl)}.pl)}.is>.{({(i).(2).({(s).(r)}.rps)}.3pl23).({({(i).(s).(i).(r)}.4pl23).(i).({(2).({(s).(r)}.rps)}.pl).({({(s).(r)}.sp1).((r).rp1)}.pl)}.ispl1).({(2).({(i).({(s).(r)}.rps)}.pl)}.pl).({(i).({(2).({(s).(r)}.rps)}.pl)}.pl).({(i).({({(s).(r)}.sp1).((r).rp1)}.pl)}.pl).(cut)}.tris Validation parameters: sort hierarchy = "Z2", kernel options = ""
Last update: Sat, 12 Dec 2020 10:46:54 +0100