Mathlib v3 is deprecated. Go to Mathlib v4

Theorem bool_of_nat_mem_Icc_of_mem_Icc_to_nat

Modification history