prev  ( testsuite > StrictContent > BasicContentElements > lambda > rec-lambda2  )  next


Sample Rendering:

Created by: webeq

Your browser's rendering:

lambda b defint oriented_interval a b lambda x f x