Commit 2024-02-10 05:01 a99ce01e
View on Github →chore(CategoryTheory/Sites): create a folder for files related to the coherent topology (#9920)
Creates the folder CategoryTheory/Sites/Coherent
and moves two files into it. Preparation for further reorganisation of this material and additions to it.