Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-05-29 01:31 3e58d9c3

View on Github →

feat(data/nat/enat): is_well_order instance for enat (#14416)

Estimated changes

modified theorem enat.lt_wf