Def CategoryTheory.Coverage.toGrothendieck

Modification history

2023-05-22 03:13

Mathlib/CategoryTheory/Sites/Coverage.lean

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

Added CategoryTheory.Coverage.toGrothendieck View on Github →