mathlib icon indicating copy to clipboard operation
mathlib copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

feat(order/succ_pred/linear_locally_finite): there is an order_iso between a linear locally finite order and a subset of Z

Open RemyDegenne opened this issue 3 years ago • 0 comments

Open in Gitpod

RemyDegenne avatar Oct 06 '22 10:10 RemyDegenne