Def CategoryTheory.Pretopology.toGrothendieck

Modification history

2023-03-26 08:04

Mathlib/CategoryTheory/Sites/Pretopology.lean

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

Added CategoryTheory.Pretopology.toGrothendieck View on Github →