enat): some useful lemmas (#5517)

Commit

5 years ago

chore(data/nat/enat): some useful lemmas (#5517) Co-authored-by: Bryan Gin-ge Chen <bryangingechen@gmail.com>

Author

jcommelin

Parents