Theorem isStrictWeakOrder_of_isTotalPreorder

Modification history