Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-09-06 00:11 1ef34126

View on Github →

refactor(order/rel_classes): ditch is_strict_total_order' (#16069) Since Lean 3.46, is_strict_total_order and is_strict_total_order' are exactly the same typeclass. Hence, we remove the latter for the former.

Estimated changes