Theorem CategoryTheory.IsIso.of_epi_section

Modification history