mathlib

eb271b26 - feat(data/int/basic): some lemmas (#3313)

feat(data/int/basic): some lemmas (#3313) A few small lemmas about `to_nat` that I wanted while playing with exact sequences. Co-authored-by: Scott Morrison <scott.morrison@gmail.com>