kevinsullivan / cs6501s23

Formal Mathematics for Software Design
6 stars 6 forks source link

2.5 - Typo And Suggestions #36

Open RoboticMind opened 1 year ago

RoboticMind commented 1 year ago

Typo on "in" at this sentence:

To illustrate the point, n this chapter we add a fourth section

Involute was not defined in 2.5.5 before the example was given there, so it would be good to add a definition before that