Theorem CategoryTheory.CostructuredArrow.hom_ext

Modification history