Theorem CategoryTheory.Arrow.id_right

Modification history