Theorem CategoryTheory.CategoryOfElements.costructuredArrow_yoneda_equivalence_naturality

Modification history