Fix minor typos in ch 2.

math-comp / mcb

Mathematical Components (the Book)

Other

140 stars 25 forks source link

Closed pmundkur closed 6 years ago

pmundkur commented 6 years ago

One thing I noticed is that ssec:ind uses lemma leqNgt without defining what it is.