λδ digital library (LDDL)
Constant
Informal description: ""
<∀[s:(natt).set].∀[u:(s).cond1].∀[v:(s).cond2].∀[x:natt].{(s).(x)}.in>.λ[s:(natt).set].λ[u:(s).cond1].λ[v:(s).cond2].λ[x:natt].{(x).(v).(u).(s)}.satz113c Validation parameters: sort hierarchy = "Z2", kernel options = ""
Last update: Sat, 12 Dec 2020 10:46:54 +0100