Commit 2026-10-12 07:51 715a03a9
View on Github →chore: rename four lemmas named sub that state + (#44777)
toIcoDiv_zsmul_sub_toIcoMod and its three variants state x • p + y = b, an addition, but had sub in the name. This renames them to ..._add_... and keeps the old names as deprecated aliases.