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.