Skip to content

[Merged by Bors] - chore(CategoryTheory/Sites): make Subcanonical a class #64111

[Merged by Bors] - chore(CategoryTheory/Sites): make Subcanonical a class

[Merged by Bors] - chore(CategoryTheory/Sites): make Subcanonical a class #64111