Theorem Cardinal.lift_mul

Modification history