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
We have chosen to explain some of the slightly special words we have used. It is not a complete list of Lean expressions. 158