Mathlib v3 is deprecated. Go to Mathlib v4

Theorem Ico_map_val_min_abs_nat_abs_eq_Ico_map_id

Modification history