Theorem Cardinal.lift_ofNat

Modification history