Theorem CategoryTheory.exact_d_f

Modification history