Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Add value_modulo_in_range | Jason Gross | 2017-11-03 |
| | |||
* | Better version of ZBounded.modulo, with a proof | Jason Gross | 2017-11-03 |
| | |||
* | Add ZBounded.modulo | Jason Gross | 2017-11-03 |
| | |||
* | Add type of bounded Z | Jason Gross | 2017-11-02 |