Theorem CategoryTheory.Presieve.BindStruct.bind

Modification history

2025-01-02 12:06

Mathlib/CategoryTheory/Sites/Sieves.lean

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

Added CategoryTheory.Presieve.BindStruct.bind View on Github →