search

math-comp / mcb

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

apply remarks on ch3 by Julien Narboux #89

Closed gares closed 3 years ago

gares commented 4 years ago

@amahboubi I made a PR since it makes it more obvious what I did change (and there should be no conflict)