λδ digital library (LDDL)
Constant
Informal description: ""
{λ[x:complex].λ[y:complex].λ[z:complex].λ[u:complex]}.<{({({(u).(z)}.pl).(x)}.pl).({(z).({(u).(x)}.pl)}.pl)}.is>.{({({(z).(u)}.compl).(x).({(u).(z)}.pl).({(z).(u)}.pl)}.ispl2).({(z).(u).(x)}.asspl1).({({(u).(z)}.pl).(x)}.pl).({({(z).(u)}.pl).(x)}.pl).({(z).({(u).(x)}.pl)}.pl).(cx)}.tris Validation parameters: sort hierarchy = "Z2", kernel options = ""
Last update: Sat, 12 Dec 2020 10:46:54 +0100