search

math-comp / mcb

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

Tiny grammar nit (§1.1.1) #66

Closed rswarbrick closed 5 years ago

rswarbrick commented 5 years ago

In section 1.1.1 (I'm reading from the top!), this reads oddly:

As expected, it makes little sense to compute the addition between a function and 1.

Maybe something like this would be better?

As expected, it makes little sense to compute the sum of a function and 1.

I don't think that "addition between" sounds right.

gares commented 5 years ago

Thanks!