feat: supremum of ≤ c ordinals of cardinal ≤ c has cardinal ≤ c
#114420
vihdzplabel_new_contributor.yml
on: pull_request_target
label-and-report-new-contributor
7s