Theorem CategoryTheory.Yoneda.naturality

Modification history