Theorem LightCondensed.epi_π_app_zero_of_epi

Modification history

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