Theorem CategoryTheory.coherentTopology.epi_π_app_zero_of_epi

Modification history

2024-11-15 12:23
Mathlib/CategoryTheory/Sites/Coherent/SequentialLimit.lean
feat(Condensed): a sequential limit of epimorphisms in light condensed modules is epimorphic (#18336) …
Added CategoryTheory.coherentTopology.epi_π_app_zero_of_epiView on Github →