Theorem CategoryTheory.exact_comp_iso

Modification history