search

math-comp / mcb

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

Fix typo in name #154

Closed ju-sh closed 11 months ago

ju-sh commented 11 months ago

Neutral element in bigop.

gares commented 11 months ago

Thanks