Commit 2024-05-30 10:05 27d70e94

View on Github →

feat(CategoryTheory/Sites): extensive topology is subcanonical (#13371)

Estimated changes