Theorem isSimpleOrder_iff_isSimpleOrder_orderDual

Modification history