Theorem ENat.lift_one

Modification history