Mathlib v3 is deprecated. Go to Mathlib v4

Theorem is_unit.lift_right_inv_mul

Modification history