Def LinearOrder.to_dual

Modification history