chore(CategoryTheory/Functor): dualize OfSequence
#41010
label_new_contributor.yml
on: pull_request
label-and-report-new-contributor
5s
OfSequence
#41010