Theorem is_strict_weak_order_of_is_total_preorder

Modification history