Theorem CategoryTheory.exact_of_split

Modification history