math-comp/mcb

Provide the type of the zmodtype constructor early?

amahboubi opened this issue · 0 comments

amahboubi commented

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