Theorem TopCat.PrelocalPredicate.sheafify_inductionOn₂'

Modification history

2025-08-13 19:34
Mathlib/Topology/Sheaves/LocalPredicate.lean
feat(Topology): induction for sheafification (#26258)
Added TopCat.PrelocalPredicate.sheafify_inductionOn₂'View on Github →