Theorem CategoryTheory.Splitting.iso_comp_eq_snd

Modification history