Theorem CategoryTheory.Sheaf.mem_finestTopology_of_forall_isSheafFor

Modification history

2026-05-05 12:38
Mathlib/CategoryTheory/Sites/Canonical.lean
chore(CategoryTheory/Sites/Canonical): fix universe generality (#38955) …
Added CategoryTheory.Sheaf.mem_finestTopology_of_forall_isSheafForView on Github →