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 →