Commit 2024-02-11 14:32 b08d71d8

View on Github →

chore(CategoryTheory/Sites): golf some proofs in the coherent topology file (#9979)

Estimated changes