Def CategoryTheory.discretePresieve

Modification history

2023-06-07 06:36

Mathlib/CategoryTheory/Sites/Types.lean

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

Added CategoryTheory.discretePresieve View on Github →