λδ is developed in the context of the
<a href="http://helm.cs.unibo.it/">Hypertextual Electronic Library of Mathematics</a>
as a machine-checked digital specification
λδ is developed in the context of the
<a href="http://helm.cs.unibo.it/">Hypertextual Electronic Library of Mathematics</a>
as a machine-checked digital specification