Def ENat.lift

Modification history