λδ digital library (LDDL)
Constant
Informal description: ""
λ[r:real].<{(0).({(r).(r)}.ts)}.moreis>.{({(λ[t:{(0).({(r).(r)}.ts)}.less].{(t).({(r).(r)}.ts)}.satz169d).((r).nnegsq).(({(r).(r)}.ts).neg).({(0).({(r).(r)}.ts)}.less)}.th3).(0).({(r).(r)}.ts)}.satz167f Validation parameters: sort hierarchy = "Z2", kernel options = ""
Last update: Sat, 12 Dec 2020 10:46:54 +0100