Theorem CochainComplex.isSplitMono_from_singleFunctor_obj_of_injective

Modification history