Theorem CategoryTheory.NormalEpiCategory.mono_of_zero_kernel

Modification history