Structure CategoryTheory.Presieve.BindStruct

Modification history

2025-01-02 12:06

Mathlib/CategoryTheory/Sites/Sieves.lean

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

Added CategoryTheory.Presieve.BindStruct View on Github →