Theorem ULift.up_ofNat

Modification history