λδ digital library (LDDL)
Constant
Informal description: ""
λ[t:real].<{({(0).({(t).(t)}.ts)}.pli).({({(0).(t)}.pli).({(0).(t)}.pli)}.ts)}.is>.{({((t).t2).((t).t1).(0).({({(t).(0)}.ts).({(0).(t)}.ts)}.pl).({(t).(t)}.ts).({({(0).(0)}.ts).({(t).(t)}.ts)}.mn)}.isrecx12).({(0).(t).(0).(t)}.tsis12a).({(0).({(t).(t)}.ts)}.pli).({({({(t).(0)}.ts).({(0).(t)}.ts)}.pl).({({(0).(0)}.ts).({(t).(t)}.ts)}.mn)}.pli).({({(0).(t)}.pli).({(0).(t)}.pli)}.ts).(cx)}.tris Validation parameters: sort hierarchy = "Z2", kernel options = ""
Last update: Sat, 12 Dec 2020 10:46:54 +0100