Theorem toIocDiv_zsmul_add_toIocMod

Modification history

2026-10-12 07:51
Mathlib/Algebra/Order/ToIntervalMod.lean
chore: rename four lemmas named `sub` that state `+` (#44777) …
Added toIocDiv_zsmul_add_toIocModView on Github →