basic): `succ_nat_pred` (#11455)

Commit

4 years ago

feat(data/pnat/basic): `succ_nat_pred` (#11455) Co-authored-by: Eric <37984851+ericrbg@users.noreply.github.com>

Author

ericrbg

Parents