Theorem CategoryTheory.Splitting.section_retraction

Modification history