Theorem Order.height_eq_iSup_lt_height

Modification history