Skip to content

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

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

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