mathlib
afffab1d - lint(order/order_iso_nat): docstrings (#4488)

Commit

5 years ago

lint(order/order_iso_nat): docstrings (#4488) Adds docstrings to `rel_embedding.nat_lt` and `rel_embedding.nat_gt`

References

Author

awainverse

Parents