λδ digital library (LDDL)
Constant
Informal description: ""
{λ[zeta:cut].λ[ksi1:cut].λ[ksi2:cut].λ[m:{(ksi2).(ksi1)}.more]}.<{({(ksi2).(ksi2)}.ts).({(ksi1).(ksi1)}.ts)}.more>.{(m).(m).(ksi2).(ksi1).(ksi2).(ksi1)}.satz147 Validation parameters: sort hierarchy = "Z2", kernel options = ""
Last update: Sat, 12 Dec 2020 10:46:54 +0100