Def CategoryTheory.Sheaf.finestTopologySingle

Modification history

2023-06-05 13:56

Mathlib/CategoryTheory/Sites/Canonical.lean

feat: port CategoryTheory.Sites.Canonical (#3936)

Added CategoryTheory.Sheaf.finestTopologySingle View on Github →