Def rel_embedding.nat_lt
Modification history
2022-11-06 07:48
src/order/order_iso_nat.lean
feat(order/order_iso_nat): value is accessible iff it's not contained in an infinite decreasing sequence (#15927) …
Modified rel_embedding.nat_ltView on Github →2021-06-07 01:12
src/order/order_iso_nat.lean
docs(order/order_iso_nat): add module docstring (#7804) …
Modified rel_embedding.nat_ltView on Github →