Def CategoryTheory.Coverage.ofGrothendieck

Modification history

2023-05-22 03:13

Mathlib/CategoryTheory/Sites/Coverage.lean

feat: Add CategoryTheory.Sites.Coverage (#4113) …

Added CategoryTheory.Coverage.ofGrothendieck View on Github →