Mathlib v3 is deprecated. Go to Mathlib v4

Theorem lift_rank_mul_lift_rank

Modification history