Theorem toIcoDiv_zsmul_add_toIcoMod

Modification history

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