Theorem CategoryTheory.Sieve.ofArrows.exists

Modification history

2025-01-02 12:06

Mathlib/CategoryTheory/Sites/Sieves.lean

feat(CategoryTheory/Sites): helper definitions for sieves (#19517) …

Added CategoryTheory.Sieve.ofArrows.exists View on Github →