Theorem CategoryTheory.right_comp_retraction

Modification history