Theorem CategoryTheory.Arrow.id_left

Modification history