ϵ">]>
[CL] CL-TeX.
Chapter. Numeric Programs.
Section. Explicit Definitions.
Maximum.
Chapter. Programs Operating on Lists.
Section. Operations on Lists.
List maximum.
Exercise. Prove
##