Theorem CategoryTheory.exact_inr_fst

Modification history