Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-11-18 18:18 af43a2bc

View on Github →

feat(data/nat/enat): add_right_cancel and other (#1705)

Estimated changes

added theorem enat.add_eq_top_iff
added theorem enat.ne_top_iff_dom