Def WellOrderExtension

Modification history

2023-08-10 19:52

Mathlib/Order/Extension/Well.lean

chore: banish `Type _` and `Sort _` (#6499) …

Modified WellOrderExtension View on Github →

2023-02-18 04:54

Mathlib/Order/Extension/Well.lean

feat: port Order.Extension.Well (#2333)

Added WellOrderExtension View on Github →