Def CategoryTheory.discreteSieve

Modification history

2023-06-07 06:36

Mathlib/CategoryTheory/Sites/Types.lean

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

Added CategoryTheory.discreteSieve View on Github →