[Merged by Bors] - chore(CategoryTheory/Sites): make Subcanonical
a class
#27722
Job | Run time |
---|---|
42s | |
42s |
Subcanonical
a class
#27722
Job | Run time |
---|---|
42s | |
42s |