Theorem CategoryTheory.left_comp_retraction

Modification history