λδ digital library (LDDL)
Constant
Informal description: ""
{λ[x:complex].λ[i:{(0c).(x)}.is]}.<{(0c).((x).conj)}.is>.{({({({(0).(real)}.refis).(0)}.satz176b).(0).(0).((0).m0)}.isrecx2).({(0).(0)}.conjisa).({(i).(0c).(x)}.isconj).(0c).({((0).m0).(0)}.pli).((0c).conj).((x).conj).(cx)}.tr3is Validation parameters: sort hierarchy = "Z2", kernel options = ""
Last update: Sat, 12 Dec 2020 10:46:54 +0100