Commit 2023-07-06 11:36 457c50a6
View on Github →feat: Facts about the coherent topology (#5695) We show several facts about effective epimorphic family and the coherent topology in precoherent categories.
feat: Facts about the coherent topology (#5695) We show several facts about effective epimorphic family and the coherent topology in precoherent categories.