λδ digital library (LDDL)
Constant
Informal description: ""
λ[x:complex].<{(x).({(1).(x)}.p0)}.is>.{((x).satz291).({((x).lemma291).({(1).(x)}.t5).(intrl1).({(x).(cx)}.refis).(1rl).(x).(x)}.ispw1).(x).({((x).lemma291).(intrl1).(1rl).(x)}.pw).({(1).(x)}.p0).(cx)}.tris Validation parameters: sort hierarchy = "Z2", kernel options = ""
Last update: Sat, 12 Dec 2020 10:46:54 +0100