Theorem CategoryTheory.Comma.comp_right

Modification history