Theorem ENat.lt_lift_iff

Modification history