Theorem new_name_mul

Modification history

2025-09-15 12:54
MathlibTest/DeprecateTo.lean
chore: bump toolchain to v4.24.0-rc1 (#29671)
Modified new_name_mulView on Github →
2025-08-11 18:06
MathlibTest/DeprecateTo.lean
chore: reformat `to_additive` docstrings to use `docComment` syntax (#28066) …
Added new_name_mulView on Github →