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.