Theorem CategoryTheory.IsIso.of_epi_section'

Modification history