Theorem CategoryTheory.Exact.epi_kernel_lift

Modification history