Theorem CategoryTheory.Functor.mem_homologicalKernel_trW_iff

Modification history