Def CategoryTheory.Pretopology.ofGrothendieck

Modification history

2023-03-26 08:04

Mathlib/CategoryTheory/Sites/Pretopology.lean

feat: port CategoryTheory.Sites.Pretopology (#3093)

Added CategoryTheory.Pretopology.ofGrothendieck View on Github →