[Merged by Bors] - chore(SetTheory/Ordinal/Arithmetic): move add_mul_limit
#48592
labels_from_comment.yml
on: issue_comment
update-label
0s