Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-09-15 11:43 427d4141

View on Github →

feat(data/enat): some API and a module docstring (#4103)

Estimated changes

added theorem enat.to_with_top_add