Mathlib Changelog
v4
Changelog
About
Github
Theorem
Opens.pretopology_ofGrothendieck
Modification history
2025-09-19 18:56
Mathlib/CategoryTheory/Sites/Spaces.lean
chore(CategoryTheory/Sites): rename `.ofGrothendieck` to `GrothendieckTopology.to{Coverage, Pretopology}` (#29815) …
Deleted
Opens.pretopology_ofGrothendieck
View on Github →
2023-03-26 20:49
Mathlib/CategoryTheory/Sites/Spaces.lean
feat: port CategoryTheory.Sites.Spaces (#3111)
Added
Opens.pretopology_ofGrothendieck
View on Github →