Mathlib v3 is deprecated. Go to Mathlib v4

Theorem int.Ioo_eq_finset_map

Modification history