Theorem Cardinal.lift_prod

Modification history