ABSTRACT

We have chosen to explain some of the slightly special words we have used. It is not a complete list of Lean expressions. 158