Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
add_comm_group.modeq_iff_to_Ico_mod_ne_to_Ioc_mod
Modification history
2023-05-03 03:14
src/algebra/order/to_interval_mod.lean
refactor(algebra/order/to_interval_mod): Negate the definition of `mem_Ioo_mod` (#18912) …
Added
add_comm_group.modeq_iff_to_Ico_mod_ne_to_Ioc_mod
View on Github →