Theorem CategoryTheory.Arrow.hom.congr_right

Modification history