Theorem CategoryTheory.section_comp_right

Modification history