Theorem LinearOrder.toPartialOrder_injective

Modification history