Def rel_embedding.nat_gt
Modification history
2022-07-12 14:37
src/order/order_iso_nat.lean
feat(order/order_iso_nat): generalize `well_founded.monotone_chain_condition` to preorders (#15073) …
Modified rel_embedding.nat_gtView 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_gtView on Github →