search

math-comp / mcb

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

remove ex from ch 6 #83

Open gares opened 5 years ago