λδ digital library (LDDL)
Constant
Informal description: ""
<{(0c).(1c)}.nis>.{(λ[t:{(0c).(1c)}.is].(t).t2).({(pos1).(1rl)}.pnot0).({(0).(1rl)}.is).({(0c).(1c)}.is)}.th3 Validation parameters: sort hierarchy = "Z2", kernel options = ""
Last update: Sat, 12 Dec 2020 10:46:54 +0100