Theorem CategoryTheory.exact_zero_mono

Modification history