Follow-up from "Add typing rule for MUL to allow building Fr elements from naturals"
The following discussion from !367 (merged) should be addressed:
-
@mbouaziz started a discussion: (+9 comments) I guess it may raise an exception?
The following discussion from !367 (merged) should be addressed:
I guess it may raise an exception?