Skip to content

chore(CategoryTheory/Sites): make Subcanonical a class #64111

chore(CategoryTheory/Sites): make Subcanonical a class

chore(CategoryTheory/Sites): make Subcanonical a class #64111

Lint style

succeeded Oct 31, 2024 in 1m 18s