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