Theorem toIocDiv_mul_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_mul_add_toIocModView on Github →