Def CategoryTheory.Functor.homologicalKernel

Modification history