Def CategoryTheory.typesGrothendieckTopology

Modification history

2023-06-07 06:36

Mathlib/CategoryTheory/Sites/Types.lean

feat: port CategoryTheory.Sites.Types (#4776)

Added CategoryTheory.typesGrothendieckTopology View on Github →