Theorem CategoryTheory.section_comp_left

Modification history