Def CategoryTheory.GrothendieckTopology.IsClosed

Modification history

2023-05-31 05:42

Mathlib/CategoryTheory/Sites/Closed.lean

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

Added CategoryTheory.GrothendieckTopology.IsClosed View on Github →