Theorem CategoryTheory.yonedaEquiv_naturality

Modification history