Mathlib v3 is deprecated. Go to Mathlib v4

Def with_zero.units_with_zero_equiv

Modification history