Mathlib Changelog
v4
Changelog
About
Github
Theorem
CategoryTheory.Coverage.toGrothendieck_eq_sInf
Modification history
2025-09-19 18:56
Mathlib/CategoryTheory/Sites/Coverage.lean
chore(CategoryTheory/Sites): rename `.ofGrothendieck` to `GrothendieckTopology.to{Coverage, Pretopology}` (#29815) …
Modified
CategoryTheory.Coverage.toGrothendieck_eq_sInf
View on Github →
2023-05-22 03:13
Mathlib/CategoryTheory/Sites/Coverage.lean
feat: Add CategoryTheory.Sites.Coverage (#4113) …
Added
CategoryTheory.Coverage.toGrothendieck_eq_sInf
View on Github →