`nat.even_add_one` (#14917)

Commit

3 years ago

refactor(data/nat/parity): `nat.even_succ` -> `nat.even_add_one` (#14917) Change `nat.even_succ` to be analogous to `int.even_add_one`.

Author

BoltonBailey

Parents