Theorem CategoryTheory.generate_discretePresieve_mem

Modification history

2023-06-07 06:36
Mathlib/CategoryTheory/Sites/Types.lean
feat: port CategoryTheory.Sites.Types (#4776)
Added CategoryTheory.generate_discretePresieve_memView on Github →