search

math-comp / mcb

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

fix: :pencil2: correct a typo found in our study group CoqTokyo. #150

Closed yoshihiro503 closed 1 year ago

yoshihiro503 commented 1 year ago

Corrected a typo found in our study group CoqTokyo.

gares commented 1 year ago

Thanks