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