Theorem CategoryTheory.Arrow.hom.congr_left

Modification history