Theorem Cardinal.toNat_lift_add_lift

Modification history