search

math-comp / mcb

Mathematical Components (the Book)
Other
140 stars 25 forks source link

Fix minor typos and infelicities in chapter 1. #61

Closed pmundkur closed 6 years ago

pmundkur commented 6 years ago

Minor typo fixes, and one suggestion for more idiomatic usage.

gares commented 6 years ago

Thanks!