Skip to content
Back to pull request #13840

[Merged by Bors] - feat (Category Theory): redefine and extend mates #37702

Sign in to view logs

[Merged by Bors] - feat (Category Theory): redefine and extend mates

[Merged by Bors] - feat (Category Theory): redefine and extend mates #37702

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Check all files imported
27s
Lint style
49s
1m 16s