Theorem ENat.lift_ofNat

Modification history