Theorem CategoryTheory.Arrow.arrow_mk_eqToHom_comp

Modification history