Theorem CategoryTheory.comp_eq_zero_of_exact

Modification history