λδ digital library (LDDL)
Constant
Informal description: ""
{λ[p:∀[x:natt].Prop].λ[n:natt]}.<Prop>.(λ[x:natt].{({(x).(n)}.lessis).((x).p)}.imp).all Validation parameters: sort hierarchy = "Z2", kernel options = ""
Last update: Sat, 12 Dec 2020 10:46:54 +0100