WikiLean Articles · Brain · Recent changes · Proposals · Flags · Stats · About

Diff — Well-order

Revision #1662 → #2669 · back to history

modifiedWell-ordering principle81760a927823
FieldFrom #1662To #2669
mathlib.decltype_nat_ltOrdinal.type_nat_lt
provenanceaiai-moderated
modifiedStandard order on naturals38ba5e38ab7e
FieldFrom #1662To #2669
mathlib.decltype_nat_ltOrdinal.type_nat_lt
provenanceaiai-moderated
modifiedNaturals well ordered by ≤1c497e8df5bd
FieldFrom #1662To #2669
mathlib.decltype_nat_ltOrdinal.type_nat_lt
provenanceaiai-moderated