Mathlib v3 is deprecated. Go to Mathlib v4

Theorem add_comm_group.modeq_iff_to_Ico_mod_ne_to_Ioc_mod

Modification history