Mathlib v3 is deprecated. Go to Mathlib v4

Theorem zmod.nat_cast_nat_abs_val_min_abs

Modification history