Theorem Ordinal.mem_range_lift_of_card_le

Modification history