Theorem lift_rank_mul_lift_rank

Modification history