Theorem CategoryTheory.Splitting.retraction_ι_eq_id_sub

Modification history