search

math-comp / mcb

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

put back hedberg in ch 7 #85

Closed gares closed 5 years ago