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