Theorem LinearOrder.to_partial_order_injective

Modification history