Theorem ENat.lift_eq_toNat_of_lt_top

Modification history