Theorem CategoryTheory.Functor.mem_homologicalKernel_W_iff

Modification history