Theorem CategoryTheory.discreteSieve_mem

Modification history

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