Def decidable_linear_order_of_STO'

Modification history