TheoremsinstPreservesEpimorphisms, instPreservesMonomorphisms, comp_descToInjective, comp_descToInjective_assoc, comp_eq_zero, comp_eq_zero_assoc, condition, desc', epi_f, epi_f', epi_f_iff, epi_kernelLift, epi_toCycles, g_desc, g_desc_assoc, hasHomology, hasZeroObject, isIso_f', isIso_fromOpcycles, isIso_g', isIso_toCycles, isZero_Xโ, isZero_Xโ_iff, isZero_of_both_zeros, leftHomologyDataOfIsLimitKernelFork_H, leftHomologyDataOfIsLimitKernelFork_K, leftHomologyDataOfIsLimitKernelFork_i, leftHomologyDataOfIsLimitKernelFork_ฯ, lift', liftFromProjective_comp, liftFromProjective_comp_assoc, lift_f, lift_f_assoc, map, map_of_epi_of_preservesCokernel, map_of_mono_of_preservesKernel, map_of_preservesLeftHomologyOf, map_of_preservesRightHomologyOf, mono_cokernelDesc, mono_fromOpcycles, mono_g, mono_g', mono_g_iff, op, rightHomologyDataOfIsColimitCokernelCofork_H, rightHomologyDataOfIsColimitCokernelCofork_Q, rightHomologyDataOfIsColimitCokernelCofork_p, rightHomologyDataOfIsColimitCokernelCofork_ฮน, unop, exact_iff, exact_iff', exact_iff_i_p_zero, exact_iff, exact_iff_epi_f', exact_map_iff, exact_iff, exact_iff, exact_iff_mono_g', exact_map_iff, epi_g, exact, ext_r, ext_s, f_r, f_r_assoc, g_s, g_s_assoc, homologyData_iso, homologyData_left, homologyData_right, id, isSplitEpi_g, isSplitMono_f, isoBinaryBiproduct_hom, isoBinaryBiproduct_inv, leftHomologyData_H, leftHomologyData_K, leftHomologyData_i, leftHomologyData_ฯ, map_r, map_s, mono_f, ofIso_r, ofIso_s, op_r, op_s, r_f, r_f_assoc, rightHomologyData_H, rightHomologyData_Q, rightHomologyData_p, rightHomologyData_ฮน, s_g, s_g_assoc, s_r, s_r_assoc, splitEpi_g_section_, splitMono_f_retraction, unop_r, unop_s, cokernelSequence_Xโ, cokernelSequence_Xโ, cokernelSequence_Xโ, cokernelSequence_exact, cokernelSequence_f, cokernelSequence_g, epi_ฯโ_of_exact_of_epi, exact_and_epi_g_iff_g_is_cokernel, exact_and_epi_g_iff_of_iso, exact_and_mono_f_iff_f_is_kernel, exact_and_mono_f_iff_of_iso, exact_iff_epi, exact_iff_epi_kernel_lift, exact_iff_epi_toCycles, exact_iff_homology_iso_zero, exact_iff_iCycles_pOpcycles_zero, exact_iff_i_p_zero, exact_iff_isZero_homology, exact_iff_isZero_leftHomology, exact_iff_isZero_rightHomology, exact_iff_kernel_ฮน_comp_cokernel_ฯ_zero, exact_iff_mono, exact_iff_mono_cokernel_desc, exact_iff_mono_fromOpcycles, exact_iff_of_epi_of_isIso_of_mono, exact_iff_of_iso, exact_map_iff_of_faithful, exact_of_f_is_kernel, exact_of_g_is_cokernel, exact_of_isZero_Xโ, exact_of_iso, exact_op_iff, exact_unop_iff, instEpiGCokernelSequence, instMonoFKernelSequence, kernelSequence_Xโ, kernelSequence_Xโ, kernelSequence_Xโ, kernelSequence_exact, kernelSequence_f, kernelSequence_g, mono_ฯโ_of_exact_of_mono, quasiIso_iff_of_zeros, quasiIso_iff_of_zeros' | 144 |