Theorem no_bot_order_iff_no_min_order

Modification history