Commit 2023-04-12 19:26 3d1eb786
View on Github →order.basic@de87d5053a9fe5cbde723172c0fb7e27e7436473..210657c4ea4a4a7b234392f70a3a2a83346dfa90order.well_founded@1c521b4fb909320eca16b2bb6f8b5b0490b1cb5e..210657c4ea4a4a7b234392f70a3a2a83346dfa90order.order_iso_nat@6623e6af705e97002a9054c1c05a980180276fc1..210657c4ea4a4a7b234392f70a3a2a83346dfa90order.compactly_generated@861a26926586cd46ff80264d121cdb6fa0e35cc1..210657c4ea4a4a7b234392f70a3a2a83346dfa90ring_theory.noetherian@da420a8c6dd5bdfb85c4ced85c34388f633bc6ff..210657c4ea4a4a7b234392f70a3a2a83346dfa90Mathlib 3: https://github.com/leanprover-community/mathlib/pull/15071