λδ digital library (LDDL)
Constant
Informal description: ""
{λ[x:complex].λ[y:complex].λ[i:{(0c).({(y).(x)}.pl)}.is]}.<{(({(y).(x)}.pl).mod).({((y).mod).((x).mod)}.pl)}.moreis>.{({((y).satz264d).((x).satz264d).(0).((y).mod).(0).((x).mod)}.satz191).({({(i).(y).(x)}.t1).({({(0).(real)}.refis).(0).(0)}.pl01).(0).(({(y).(x)}.pl).mod).({(0).(0)}.pl).(real)}.tris2).({((y).mod).((x).mod)}.pl).(({(y).(x)}.pl).mod).({(0).(0)}.pl)}.ismoreis2 Validation parameters: sort hierarchy = "Z2", kernel options = ""
Last update: Sat, 12 Dec 2020 10:46:54 +0100