λδ digital library (LDDL)
Constant
Informal description: ""
<{((1c).m0).({(ic).(ic)}.ts)}.is>.{(t5).(t4).(t1).((1c).m0).(((1rl).m0).cofrl).({({({(0).(1rl)}.ts).({(1rl).(0)}.ts)}.pl).({({(1rl).(1rl)}.ts).({(0).(0)}.ts)}.mn)}.pli).({(ic).(ic)}.ts).(cx)}.tr3is Validation parameters: sort hierarchy = "Z2", kernel options = ""
Last update: Sat, 12 Dec 2020 10:46:54 +0100