Def CategoryTheory.GrothendieckTopology.close

Modification history

2023-05-31 05:42

Mathlib/CategoryTheory/Sites/Closed.lean

feat: port CategoryTheory.Sites.Closed (#3356)

Added CategoryTheory.GrothendieckTopology.close View on Github →