Theorem CategoryTheory.Comma.id_right

Modification history