Theorem CategoryTheory.coherentTopology.isSubcanonical

Modification history

2023-11-21 08:44
Mathlib/CategoryTheory/Sites/Coherent.lean
feat(CategoryTheory): the regular topology is subcanonical (#8529) …
Deleted CategoryTheory.coherentTopology.isSubcanonicalView on Github →
2023-07-06 11:36
Mathlib/CategoryTheory/Sites/Coherent.lean
feat: Facts about the coherent topology (#5695) …
Added CategoryTheory.coherentTopology.isSubcanonicalView on Github →