basic): int.nat_abs_eq_zero (#1545)

Commit

6 years ago

feat(data/int/basic): int.nat_abs_eq_zero (#1545) * feat(data/int/basic): int.nat_abs_eq_zero * Update basic.lean * Update basic.lean

References

Author

ChrisHughes24

Committer

mergify[bot]

Parents