Theorem CategoryTheory.Arrow.hom_ext

Modification history