search

math-comp / mcb

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

Provide the type of the zmodtype constructor early? #99

Open amahboubi opened 3 years ago

amahboubi commented 3 years ago

We use it in section 8.1. I have added a sentence but more might be needed.