chore(CategoryTheory/Functor): dualize OfSequence
#63254
lint_and_suggest_pr.yml
on: pull_request
Lint style
1m 17s
Check all files imported
41s