Theorem PartialOrder.to_preorder_injective

Modification history