Theorem no_top_order_iff_no_max_order

Modification history