Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-06-07 01:12 90ae36ea

View on Github →

docs(order/order_iso_nat): add module docstring (#7804) add module docstring

Estimated changes

modified def rel_embedding.nat_gt
modified def rel_embedding.nat_lt
modified theorem rel_embedding.nat_lt_apply