Def CategoryTheory.Sheaf.finestTopology

Modification history

2023-06-05 13:56

Mathlib/CategoryTheory/Sites/Canonical.lean

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

Added CategoryTheory.Sheaf.finestTopology View on Github →