λδ digital library (LDDL)
Constant
Informal description: ""
λ[r:real].<{((r).s02).(real)}.nonempty>.{((r).t5).({(1rl).(r)}.pl).((r).s02).(real)}.nonemptyi Validation parameters: sort hierarchy = "Z2", kernel options = ""
Last update: Sat, 12 Dec 2020 10:46:54 +0100