aboutsummaryrefslogtreecommitdiff
path: root/src/Util/ZUtil/EquivModulo.v
Commit message (Expand)AuthorAge
* Fix a typoGravatar Jason Gross2017-06-10
* Rename power_mod_full to mod_pow_full for similarity with std libGravatar Jason Gross2017-06-10
* Add Z.pow_mod_ProperGravatar Jason Gross2017-06-10
* Split off more ZUtil thingsGravatar Jason Gross2017-05-13